|
5
|
Types in logic and mathematics before 1940
– Fairouz Kamareddine, Twan Laan, Rob Nederpelt
- 2002
|
|
16
|
Higher Order Logic
– Daniel Leivant
- 1994
|
|
1
|
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths
– Fairouz Kamareddine, Twan Laan
- 1996
|
|
3
|
A formalization of the Ramified Type Theory
– Twan Laan
- 1994
|
|
|
Journal of the IGPL
– Volume Number March, Dov M. Gabbay, Hans J Urgen Ohlbach, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Johan Van Benthem
|
|
|
Categories and Subject Descriptors: F.4.1 [Mathematical Logic and Formal Languages]: Mathematical Logic—Lambda Calculus and Related Systems; Mechanical Theorem Proving General Terms: Theory
– Robin Adams, Zhaohui Luo
|
|
23
|
Type Checking with Universes
– Robert Harper, Robert Pollack
- 1991
|
|
39
|
Proof-assistants using Dependent Type Systems
– Henk Barendregt, Herman Geuvers
- 2001
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
2
|
Proof-search in type-theoretic languages: an introduction
– Didier Galmiche, David J. Pym
- 2000
|
|
2
|
Reviewing the classical and the de Bruijn notation for λ-calculus and pure type systems
– Fairouz Kamareddine
- 2001
|
|
22
|
Type-Theoretic Methodology For Practical Programming Languages
– Karl Fredrick Crary
- 1998
|
|
2
|
Naïve computational type theory
– Robert L. Constable
- 2002
|
|
|
Naïve Type Theory
– Robert L. Constable
- 2002
|
|
5
|
Ordinals and Interactive Programs
– Peter Hancock
- 2000
|
|
3
|
Revisiting the Notion of Function
– Fairouz Kamareddine, Twan Laan, Rob Nederpelt
|
|
1
|
Propositional Functions and Families of Types
– Jan M. Smith
- 1989
|
|
6
|
The Calculus of Constructions and Higher Order Logic
– Herman Geuvers
- 1992
|
|
|
Lambda-Calculus and Functional Programming
– Jonathan P. Seldin
|
