Philip Wadler  Home/Search
Context Related
| belllabs.com/cm/cs...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 From: belllabs.com/cm/c...linearlogic (more) Homepages: P.Wadler |
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. An application to the array update problem is briefly discussed. 1 Introduction Some of the best things in life are free; and some are not. Truth is free. Having proved a theorem, you may use this proof as many... (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.2: Down With the Bureaucracy of Syntax! - Pattern Matching For (Correct)
0.1: Event Systems, How To Have Your Cake And Eat It Too - Eugster, Felber.. (Correct)
0.1: State in Functional Languages - An Annotated Bibliography - Hudak, Rabin (1993) (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/article/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/article/wadler93taste.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard, logic - 1987
809 A theory of type polymorphism in programming (context) - Milner - 1978
325 Towards a theory of type structure (context) - Reynolds
291 Theoretical Computer Science (context) - Lafont, abstract - 1988
268 Proofs and types (context) - Girard, Lafont et al. - 1989
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 Is there a use for linear logic (context) - Wadler - 1991
73 Lectures on Linear Logic (context) - Troelstra - 1992
63 Three approaches to type structure (context) - Reynolds - 1985
51 Operational aspects of linear lambda calculus - Lincoln, Mitchell - 1992
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
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
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cm.bell-labs.com/cm/cs/who/wadler/topics/linear-logic.html): More
Operational Interpretations of Linear Logic - Turner, Wadler (1998) (Correct)
Once Upon a Type - Turner, Wadler, Mossin (1995) (Correct)
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear.. - Maraist, Odersky (1995) (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