|
53
|
Lambda definability in the full type hierarchy
– G D Plotkin
- 1980
|
|
134
|
Type Systems for Programming Language
– John C Mitchell
- 1990
|
|
40
|
Logical Relations and the Typed Lambda Calculus
– R Statman
- 1985
|
|
129
|
An intuitionistic theory of types: predicative part
– P Martin-Löf
- 1975
|
|
379
|
Introduction to Higher Order Categorical Logic
– J Lambek, P J Scott
- 1986
|
|
634
|
A Framework for Defining Logics
– Robert Harper , Furio Honsell, Gordon Plotkin
- 1993
|
|
16
|
Second-order logical relations
– J C Mitchell, A R Meyer
- 1985
|
|
242
|
Programming in Martin-Löf’s Type Theory. An Introduction
– Bengt Nordström, Kent Petersson, Jan Smith
- 1990
|
|
44
|
Intuitionistic Model Constructions and Normalization Proofs
– Thierry Coquand, Peter Dybjer
- 1998
|
|
123
|
Introduction to Higher-Order Categorical Logic
– J Lambek, P J Scott
- 1986
|
|
16
|
An Abstract Notion of Realizability for which Intuitionistic Predicate Calculus is Complete
– H Lauchli
|
|
102
|
Parametricity and Local Variables
– P. W. O'hearn, R. D. Tennent
- 1995
|
|
103
|
An algorithm for testing conversion in type theory
– Thierry Coquand
- 1990
|
|
295
|
Concepts in Programming Languages
– J C Mitchell
- 2003
|
|
53
|
Types, Abstraction, and Parametric Polymorphism, Part 2
– QingMing Ma, John C. Reynolds
- 1991
|
|
33
|
Categorical Semantics for Higher Order Polymorphic Lambda Calculus
– R A G Seely
|
|
146
|
Fundamental concepts in programming languages
– C Strachey
- 2000
|
|
23
|
A Category-Theoretic Account of Program Modules
– Eugenio Moggi
- 1994
|
|
332
|
Types, abstraction and parametric polymorphism
– J C Reynolds
- 1983
|
