- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 2 |      | Catarina Coquand: A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions. Higher-Order and Symbolic Computation 15(1): 57-90 (2002) |
| 1993 | ||
| 1 |  | Catarina Coquand: From Semantics to Rules: A Machine Assisted Analysis. CSL 1993: 91-105 |