Alain Costes

Introducing modularity and sharing in a typed Lambda-calculus (1993)

Costes, Alain

Thanks to the Curry-Howard isomorphism, typed lambda-calculi provide a convenient logical framework to formalize the concept of proof. The large size of proofs dictates the introduction of concepts...

Introducing modularity and sharing in a typed Lambda-calculus (1993)

Costes, Alain

Thanks to the Curry-Howard isomorphism, typed lambda-calculi provide a convenient logical framework to formalize the concept of proof. The large size of proofs dictates the introduction of concepts...

Fault Injection and Dependability Evaluation of Fault-tolerant Systems (1993)

Jean Arlat, Alain Costes, Yves Crouzet, Jean-claude Laprie, David Powell

Abstract. The paper describes a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault...

Fault Injection and Dependability Evaluation of Fault-Tolerant Systems (1993)

Jean Arlat, Alain Costes, Yves Crouzet, Jean-claude Laprie, David Powell

The paper describes a dependability evaluation method based on fault injection that establishes the link between the experimental evaluation of the fault tolerance process and the fault occurrence...

Boris Vian [microform] : lecture d'une ecriture (approche psychanalytique de l'acte scriptural chez Boris Vian) et travaux annexes / (1990)

Costes, Alain.

Thesis (doctoral)--Université de Paris VII, 1990.

Contribution à l'analyse et à la conception des systèmes de stabilisation de satellites par propulsion ionique / (1972)

Costes, Alain.

Thesis (doctoral)--Université Paul Sabatier, 1972.