RR-0530 - The calculus of constructions Coquand, T. - Huet, G. Rapport de recherche de l'INRIA - Rocquencourt 21 pages - Mai 1986 - Document en anglais Fichier PostScript / PostScript file (1373 Ko) Fichier PDF / PDF file (1325 Ko)
Coquand, T. - Huet, G. Rapport de recherche de l'INRIA - Rocquencourt 21 pages - Mai 1986 - Document en anglais Fichier PostScript / PostScript file (1373 Ko) Fichier PDF / PDF file (1325 Ko)