Tait, W. W., A realizability interpretation of the theory of species, in: Logic Colloquium, Lecture Notes in Mathematics 453 (1975), pp. 240--251. 18  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Generalized Iteration and CoIteration for Higher-Order.. - Abel, Matthes, Uustalu (2003) (Correct)
Short Proofs of Normalization for the simply-typed.. - Joachimski, Matthes (2002) (Correct)
Lectures on the Curry-Howard Isomorphism - Sørensen, Urzyczyn (1998) (2 citations) (Correct)
Characterising Strong Normalisation for Explicit.. - van Bakel.. (2002) (Correct)
CPS Translations and Applications: The Cube and Beyond - Barthe (1996) (5 citations) (Correct)
Reducibility Method for Intersection Types - Ghilezan, Kuncak (2000) (Correct)
Reducibility Method for Simple Types and Church-Rosser Property - Ghilezan, Kuncak (2000) (Correct)
A Proof of Strong Normalization for ... and Beyond - McAllester, Kucan, Otth (Correct)
Proving Properties of Typed Lambda Terms Using Realizability.. - Gallier (1995) (Correct)
A Note On Logical PERs and Reducibility Logical Relations strike.. - Gallier (1998) (Correct)
Typing Untyped Lambda-Terms, or Reducibility Strikes Again! - Gallier (1995) (Correct)
A Generic Normalisation Proof for Pure Type Systems - Melliès, Werner (1996) (Correct)
On the Correspondence between Proofs and λ-Terms - Gallier (1997) (Correct)
Typing Untyped Lambda-Terms, or Reducibility Strikes Again! - Gallier (1997) (Correct)
Normalization for Typed Lambda Calculi with Explicit Substitution - Eike Ritter (1994) (2 citations) (Correct)
Strong Normalization for Non-structural Subtyping via Saturated Sets - Rehof (Correct)
Modified Realizability Toposes and Strong Normalization Proofs.. - Hyland, Ong (1993) (12 citations) (Correct)
A Generic Normalisation Proof for Pure Type Systems - Melliès, Werner (1996) (Correct)
Constructive Logics. Part I: A Tutorial on Proof Systems and.. - Gallier (1991) (26 citations) (Correct)
CPS Translations and Applications: The Cube and Beyond - Barthe, Hatcliff, Sørensen (1998) (5 citations) (Correct)
On Extensions of. . . : Second-Order Lambda-Calculus with Subtyping - Suzuki (1994) (Correct)
Strong Normalization from Weak Normalization in Typed.. - Sørensen (1997) (1 citation) (Correct)
A Higher-order Calculus and Theory Abstraction - Luo (1988) (15 citations) (Correct)
Adequate Models for Recursive Program Schemes - Ernst (1989) (Correct)
CPS Translations and Applications: The Cube and Beyond - Barthe, Hatcliff, Sørensen (1996) (5 citations) (Correct)
An Extended Calculus of Constructions - Luo (1990) (90 citations) (Correct)
CPS Translations and Applications: The Cube and Beyond - Barthe, Hatcliff, Sørensen (1996) (5 citations) (Correct)
Reducibility: a ubiquitous method in lambda calculus with.. - Ghilezan, al. (2002) (Correct)
A Bargain for Intersection Types: A Simple Strong Normalization.. - Neergaard (Correct)
A Generic Normalisation Proof for Pure Type Systems.. - Paulm Dcs Ed (Correct)
A Lambda Model Characterizing Computational Behaviours of.. - Dezani-Ciancaglini.. (Correct)
Conservation and Uniform Normalization in Lambda Calculi.. - Neergaard, Sørensen (2002) (2 citations) (Correct)
Behavioural Inverse Limit λ-Models - Dezani-Ciancaglini, Ghilezan.. (2003) (Correct)
Weak and Strong Normalization, K-redexes, and First-Order Logic - Neergaard (1999) (Correct)
(Co-)Iteration for Higher-Order Nested Datatypes - Abel, Matthes (Correct)
Two Behavioural Lambda Models - Dezani-Ciancaglini, Ghilezan (Correct)
Lambda Models Characterizing Computational Behaviours of.. - Dezani-Ciancaglini.. (2001) (Correct)
On Strong Normalization in the Intersection Type Discipline.. - Boudol (2 citations) (Correct)
Characterising Strong Normalisation for Explicit.. - van Bakel.. (2002) (Correct)
Constructive Logics. Part I: A Tutorial on Proof Systems and.. - Gallier (2003) (26 citations) (Correct)
Appendix 1: Product Types in F ! - In This Section (Correct)
A short and flexible proof of Strong Normalization for the.. - Geuvers (1994) (7 citations) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC