ECC, an Extended Calculus of Constructions (1989)

Cached

Download Links

by Zhaohui Luo
Citations:87 - 4 self

Documents Related by Co-Citation

520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
478 The calculus of constructions – G Huet Coquand - 1988
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
344 Intuitionistic Type Theory – Per Martin-Löf - 1984
109 Inductively defined types – T Coquand, C Paulin - 1988
857 A formulation of the simple theory of types – Alonzo Church - 1940
441 The formulas-as-types notion of construction – W A Howard - 1980
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985