Catarina Coquand
According to our database1,
Catarina Coquand
authored at least 2 papers
between 1993 and 2002.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2002
A Formalised Proof of the Soundness and Completeness of a Simply Typed Lambda-Calculus with Explicit Substitutions.
High. Order Symb. Comput., 2002
1993
Proceedings of the Computer Science Logic, 7th Workshop, 1993