R. Statman. Logical relations and the typed lambda calculus. Information and Control, 65:85--97, 1985. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Dynamic Lambda Calculus - Kohlhase, Kuschert, al. (1997) (4 citations) (Correct)
Notes on Sconing and Relators - Mitchell, Scedrov (1993) (28 citations) (Correct)
A Characterization Of Lambda Definability In Categorical Models .. - Alimohamed (1995) (11 citations) (Correct)
Some Intuitions Behind Realizability Semantics for.. - Lipton, O'Donnell (1996) (2 citations) (Correct)
Normalization and the Yoneda Embedding - Cubric, Dybier, Scott (Correct)
Kripke-Style Models for Typed Lambda Calculus - Mitchell, Moggi (1996) (39 citations) (Correct)
Normal Forms and Cut-Free Proofs as Natural Transformations - Girard, Scedrov, Scott (1992) (4 citations) (Correct)
A Cartesian Closed Category of Parallel Algorithms between .. - Stephen Brookes Shai (1991) (5 citations) (Correct)
Pre-logical Relations - Honsell, Sannella (1999) (12 citations) (Correct)
Pre-logical Relations - Honsell, Sannella (1999) (12 citations) (Correct)
Pre-logical Relations - Honsell, Sannella (1999) (12 citations) (Correct)
Normal Forms and Cut-Free Proofs as Natural Transformations - Girard, Scedrov, Scott (1992) (4 citations) (Correct)
Dynamic Lambda Calculus - Kohlhase, Kuschert, Müller (1997) (4 citations) (Correct)
Existential Types: Logical Relations and Operational Equivalence - Pitts (1998) (20 citations) (Correct)
Dynamic Lambda Calculus - Kohlhase, Kuschert (1997) (4 citations) (Correct)
Outline of a Proof Theory of Parametricity - Mairson (1991) (16 citations) (Correct)
Linear Läuchli Semantics - Blute, Scott (Correct)
Manifest Security for Distributed Information - Crary, Harper, Pfenning (2006) (Correct)
Manifest Security for Distributed Information - Crary, Harper, Pfenning.. (2006) (Correct)
Free Theorems in the Presence of seq - Johann, Voigtländer (2004) (2 citations) (Correct)
Pre-logical Relations - Honsell, Sannella (1999) (12 citations) (Correct)
Managing Structural Information by Higher-Order Colored.. - Hutter, Kohlhase (2001) (1 citation) (Correct)
Managing Structural Information by Higher-Order Colored.. - Hutter, Kohlhase (1999) (1 citation) (Correct)
A Colored Version of the λ-Calculus - Hutter, Kohlhase (1995) (Correct)
A Syntactical Analysis of Normalization - Khasidashvili, Piperno (Correct)
First 50 documents
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