inria-00076024, version 1

The calculus of constructions

T. Coquand ¹, Gérard Huet

N° RR-0530 (1986)

• 1:  INRIA Rocquencourt (INRIA Rocquencourt)
• INRIA

• Domain : Computer Science/Other
• Internal note : RR-0530

• inria-00076024, version 1
• http://hal.inria.fr/inria-00076024
• oai:hal.inria.fr:inria-00076024
• From: Rapport De Recherche Inria <>
• Submitted on: Wednesday, 24 May 2006 19:48:58
• Updated on: Wednesday, 31 May 2006 14:24:36