dblp.uni-trier.dewww.uni-trier.de

Catarina Coquand

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - 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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)