Pure Type Systems with Definitions (1993)

Cached

Download Links

by Paula Severi , Erik Poll
Citations:20 - 1 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
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
85 Logics and Type Systems – Jan Herman Geuvers, Herman Geuvers, Cover Jean, Bernard Koeman, Cip-gegevens Koninklijke Bibliotheek, Den Haag, Geuvers Jan Herman - 1993
52 A typed operational semantics for type theory – H Goguen - 1994
108 Computation and Reasoning, A Type Theory for Computer Science – Zhaohui Luo - 1994
163 Inductive Definitions in the System Coq Rules and Properties – Christine Paulin-Mohring - 1992
90 A survey of the project AUTOMATH – N de Bruijn - 1980
10 Reflections on Automath – N G de Bruijn - 1990
854 A formulation of the simple theory of types – Alonzo Church - 1940
25 Een nadere bewijstheoretische analyse van GSTT’s – J Terlouw - 1989
5 Modal pure type systems – T Borghuis - 1998
124 Unification under a mixed prefix – Dale Miller - 1992
93 The ALF proof editor and its proof engine – Lena Magnusson, Bengt Nordström - 1994
3 Pure Type Systems with de nitions – Paula Severi, Erik Poll - 1993
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
107 An algorithm for testing conversion in Type Theory – Thierry Coquand - 1991
58 Translucent Sums: A Foundation for Higher-Order Module Systems – Mark Lillibridge - 1997
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994
224 Manifest Types, Modules, and Separate Compilation – Xavier Leroy - 1994