Logics and Type Systems (1993)

View PDF

Download Links

by Jan Herman Geuvers , Herman Geuvers , Cover Jean , Bernard Koeman , Cip-gegevens Koninklijke Bibliotheek , Den Haag , Geuvers Jan Herman
Citations:90 - 7 self

Active Bibliography

6 The Calculus of Constructions and Higher Order Logic – Herman Geuvers - 1992
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
The Church-Rosser Property for . . . – Herman Geuvers - 1992
222 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
269 The Revised Report on the Syntactic Theories of Sequential Control and State – Matthias Felleisen, Matthias Felleisen, Robert Hieb, Robert Hieb - 1992
15 A short and flexible proof of Strong Normalization for the Calculus of Constructions – Herman Geuvers - 1994
177 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
170 Reasoning about Programs in Continuation-Passing Style – Amr Sabry, et al. - 1993