The calculus of constructions

Document type :
Reports
RR-0530, INRIA. 1986


https://hal.inria.fr/inria-00076024
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 7:48:58 PM
Last modification on : Wednesday, May 31, 2006 - 2:24:36 PM

Identifiers

  • HAL Id : inria-00076024, version 1

Collections

Citation

T. Coquand, Gérard Huet. The calculus of constructions. RR-0530, INRIA. 1986. <inria-00076024>

Export

Share

Metrics

Consultation de
la notice

1127

Téléchargement du document

960