Metamathematical investigations of a calculus of constructions

Rapport Année : 1989

(1)

1

T. Coquand

INRIA Rocquencourt

Autre [cs.OH]

Fichier principal

RR-1088.pdf (1.66 Mo)

https://inria.hal.science/inria-00075471

Soumis le : mercredi 24 mai 2006-18:17:13

Dernière modification le : mardi 7 février 2023-03:41:07

Archivage à long terme le : mardi 12 avril 2011-23:17:24

inria-00075471 , version 1 (24-05-2006)

T. Coquand. Metamathematical investigations of a calculus of constructions. RR-1088, INRIA. 1989. ⟨inria-00075471⟩

INRIA INRIA-RRRT INRIA2 LARA

369 Consultations

632 Téléchargements