A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems (2001)

Cached

Download Links

by Fairouz Kamareddine , Twan Laan
Venue:Journal of Logic, Language and Information
Citations:3 - 1 self

Active Bibliography

A Correspondence between Nuprl and the Ramified Theory of Types – Fairouz Kamareddine, Twan Laan - 1996
TYPES, SETS AND CATEGORIES – John L. Bell
10 Types in logic and mathematics before 1940 – Fairouz Kamareddine, Twan Laan, Rob Nederpelt - 2002
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
18 Higher Order Logic – Daniel Leivant - 1994
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
568 Term Rewriting Systems – J. W. Klop - 1992
1068 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
639 A Survey of Program Slicing Techniques – F. Tip - 1995