Jean-Yves Girard, Yves Lafont, and Paul Taylor. Proofs and Types. Number 7 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Quantified Lax Logic - Fairtlough, Walton (1997) (2 citations) (Correct)
Trust in the Lambda-Calculus - Palsberg, Ørbæk (1995) (2 citations) (Correct)
Monads and Effects (revised) - Benton, Hughes, Moggi (2000) (1 citation) (Correct)
Deductive Interpretation - Pereira (1991) (2 citations) (Correct)
Monads and Effects - Benton, Hughes, Moggi (2000) (1 citation) (Correct)
Quantified Lax Logic - Fairtlough, Walton (1997) (2 citations) (Correct)
Abstraction and Constraints: Two Sides of the Same Coin - Walton (1997) (1 citation) (Correct)
Applications of Linear Logic to Computation: An Overview - Alexiev (1993) (35 citations) (Correct)
Compiling Standard ML to Java - An (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