Concepts mathematiques et informatiques formalises dans le calcul des constructions

Rapport Année : 1986

(1) ,

1

T. Coquand

INRIA Rocquencourt

Gérard Huet

Autre [cs.OH]

Fichier principal

RR-0515.pdf (1.41 Mo)

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

Soumis le : mercredi 24 mai 2006-19:50:40

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

Archivage à long terme le : vendredi 13 mai 2011-13:13:25

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

T. Coquand, Gérard Huet. Concepts mathematiques et informatiques formalises dans le calcul des constructions. RR-0515, INRIA. 1986. ⟨inria-00076039⟩

INRIA INRIA-RRRT INRIA2 LARA

219 Consultations

228 Téléchargements