Philip Wadler  Home/Search
Context Related
| 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 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)
Similar documents based on text: More All
0.4: A Taste of Linear Logic - Wadler (1993) (Correct)
0.3: A Reflection on Call-by-Value - Sabry, Wadler (1996) (Correct)
0.3: Lazy vs. Strict - Wadler (1996) (Correct)
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
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 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
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
[Article contains additional citations not shown here]
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