Philip Wadler  Home/Search
Context Related
Links: ACM DBLP | homepages.inf.ed.ac...lineartaste.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: homepages.inf.ed.a...linearlogic (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This tutorial paper provides an introduction to intuitionistic logic and linear logic, and shows how they correspond to type systems for functional languages via the notion of `Propositions as Types'. The presentation of linear logic is simplified by basing it on the Logic of Unity. (Update)
Cited by: More
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (Correct)
From System F to Typed Assembly Language - Greg Morrisett Cornell (1999) (Correct)
A Modal Analysis of Staged Computation - Rowan Davies And (1996) (Correct)
Active bibliography (related documents): More All
1.2: A Taste of Linear Logic - Wadler (1993) (Correct)
0.8: A Syntax for Linear Logic - Philip Wadler (1993) (Correct)
0.2: Linear Logic - Lincoln (1992) (Correct)
Similar documents based on text: More All
0.3: A Reflection on Call-by-Value - Sabry, Wadler (1996) (Correct)
0.3: Lazy vs. Strict - Wadler (1996) (Correct)
0.3: Call-by-Name, Call-by-Value, Call-by-Need, and the Linear.. - Maraist, Odersky, al. (1995) (Correct)
Related documents from co-citation: More All
28: Linear types can change the world - Wadler - 1990
17: Proof-carrying code - Necula - 1997
15: Computational interpretations of linear logic - Abramsky - 1993
BibTeX entry: (Update)
Philip Wadler. A taste of linear logic. In Mathematical Foundations of Computer Science, volume 711 of LNCS, Gdansk, Poland, August 1993. Springer-Verlag. http://citeseer.ist.psu.edu/wadler93taste.html More
@inproceedings{ wadler93taste,
author = "P. L. Wadler",
title = "A Taste of Linear Logic",
booktitle = "Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science, Gd{\'a}nsk",
publisher = "Springer-Verlag",
address = "New York, NY",
year = "1993",
url = "citeseer.ist.psu.edu/wadler93taste.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard, logic - 1987 ACM
809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
325 Towards a theory of type structure (context) - Reynolds ACM DBLP
291 Theoretical Computer Science (context) - Lafont, abstract - 1988 ACM
268 Proofs and types (context) - Girard, Lafont et al. - 1989 ACM
259 Combinatory Logic (context) - Curry, Feys - 1958
184 Linear types can change the world - Wadler - 1990
160 The principal type scheme of an object in combinatory logic (context) - Hindley - 1969
73 Lectures on Linear Logic (context) - Troelstra - 1992
73 Is there a use for linear logic (context) - Wadler - 1991
63 Three approaches to type structure (context) - Reynolds - 1985 ACM DBLP
51 Operational aspects of linear lambda calculus - Lincoln, Mitchell - 1992 DBLP
22 the unity of logic (context) - Girard - 1991
22 There's no substitute for linear logic - Wadler - 1992
21 A linear functional language (context) - Holmstrom - 1988
17 and cofree coalgebras (context) - Seely, logic et al. - 1989
16 Event spaces and their linear logic - Pratt - 1992 ACM DBLP
13 Interpr'etation functionelle et 'elimination des coupures da.. (context) - Girard - 1972
13 A typed foundation for directional logic programming (context) - Reddy - 1993
10 Type assignment for intuitionistic linear logic (context) - Benton, Bierman et al. - 1992
8 Linear ML (context) - Chirimar, Gunter et al. - 1992
7 This article was processed using the L a T E X macro package.. (context) - Wadler, for et al. - 1993
3 Presented at Workshop on Mathematical Foundations of Program.. (context) - Abramsky, of et al. - 1990
1 The formulae-as-types notion of contstruction (context) - Howard - 1969
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html): More
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear.. - Maraist, Odersky, al. (1995) (Correct)
There's No Substitute for Linear Logic - Wadler (1991) (Correct)
Is There a Use for Linear Logic? - Wadler (1991) (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