A module calculus for pure type systems-Reference-Cited by-同舟云学术

A module calculus for pure type systems

Published:1997 Issue: Volume: Page:112-128
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Courant Judicaël

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-62688-3_32.pdf

Reference24 articles.

1. María Virginia Aponte and Giuseppe Castagna. Programmation modulaire avec surcharge et liaison tardive. In Journées Francophonesdes Langages Applicatifs, January 1996.

2. H. Barendregt. Lambda calculi with types. Technical Report 91-19, Catholic University Nijmegen, 1991. in Handbook of Logic in Computer Science, Vol II.

3. Nicolas Bourbaki. Eléments de Mathématique; Théorie des Ensembles, chapter IV. Hermann, Paris, 1970.

4. C. Cornes, J. Courant, J.-C. Filliâtre, G. Huet, P. Manoury, C. Muñoz, C. Murthy, C. Parent, C. Paulin-Mohring, A. Saïbi, and B. Werner. The Coq Proof Assistant Reference Manual Version 5.10. Technical Report 0177, INRIA, July 1995.

5. T. Coquand and G. Huet. The Calculus of Constructions. Inf. Comp., 76:95–120, 1988.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modules in Coq Are and Will Be Correct;Lecture Notes in Computer Science;2004

2. Functors for Proofs and Programs;Programming Languages and Systems;2004

3. Implementing Modules in the Coq System;Lecture Notes in Computer Science;2003

4. Explicit Universes for the Calculus of Constructions;Lecture Notes in Computer Science;2002

5. Verification of the interface of a small proof system in coq;Lecture Notes in Computer Science;1998