Patrick Lincoln  Home/Search
Context Related
| sri.com/~lincoln/papers/lics92.ps.gz sri.com/users/lincoln/pa...lics92.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: sri.com/~lincoln...lincolnpapers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Linear logic is a resource-aware logic that is based on an analysis of the classical proof rules of contraction (copying) and weakening (throwing away). Several previous researchers have studied functional programming languages derived from linear logic according to the "formulas-as-types" correspondence. In languages with linear logic types, one may hope that traditional implementation problems in functional languages such as update in place could be simplified by careful use of the type... (Update)
Context of citations to this paper: More
...c term transformation processes. The linear calculus was also studied in a di erent context by the linear logic community [Abr93, LM92, Wad90, BBdH92]. In these works the linear calculus is de ned as the computational interpretation of linear logic and the problem of...
Cited by: More
Decision Problems for Second-Order Linear Logic - Lincoln, Scedrov, Shankar (1995) (Correct)
Constant-Only Multiplicative Linear Logic is NP-Complete - Lincoln, Winkler (1992) (Correct)
A Taste of Linear Logic - Wadler (1993) (Correct)
Active bibliography (related documents): More All
0.5: Computational Aspects of Linear Logic - Lincoln (1992) (Correct)
0.3: Linear Logic - Lincoln (1992) (Correct)
0.3: A Brief Guide to Linear Logic - Scedrov (1993) (Correct)
Similar documents based on text: More All
0.1: Law and the Production of Urban Illegality - Fernandes (2001) (Correct)
0.1: Decision Problems for Propositional Linear Logic - Lincoln, Mitchell, Scedrov.. (1990) (Correct)
0.1: Deciding Provability of Linear Logic Formulas - Lincoln (1994) (Correct)
Related documents from co-citation: More All
36: Computational interpretations of linear logic - Abramsky - 1993
35: Theoretical Computer Science (context) - Girard - 1987
16: Linear types can change the world - Wadler - 1990
BibTeX entry: (Update)
Patrick Lincoln and John Mitchell. Operational aspects of linear lambda calculus. Draft paper---to appear in LICS'92, 1992. http://citeseer.ist.psu.edu/lincoln92operational.html More
@incollection{ lincoln92operational,
author = "Patrick Lincoln and John Mitchell",
title = "Operational Aspects of Linear Lambda Calculus",
booktitle = "Proceedings 7th Annual {IEEE} Symp.\ on Logic in Computer Science, {LICS}'92, Santa Cruz, {CA}, {USA}, 22--25 June 1992",
publisher = "IEEE Computer Society Press",
address = "Los Alamitos, CA",
pages = "235--246",
year = "1992",
url = "citeseer.ist.psu.edu/lincoln92operational.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
359 The Implementation of Functional Programming Languages (context) - Jones - 1987
291 Theoretical Computer Science (context) - Lafont, abstract - 1988
233 Computational interpretations of linear logic - Abramsky - 1990
184 Linear types can change the world - Wadler - 1991
159 The chemical abstract machine (context) - Berry, Boudol - 1990
96 Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1990
56 The formulas-as-types notion of construction (context) - Howard - 1980
47 Lilac - a functional programming language based on linear lo.. (context) - Mackie - 1991
43 lazy abstract machine to execute supercombinators (context) - Fairbairn, Wray et al. - 1985
35 Linear logic and lazy computation (context) - Girard, Lafont - 1987
33 The Design and Implementation of Programming Languages (context) - Hughes - 1984
32 Single-threaded polymorphic lambda calculus (context) - Guzman, Hudak - 1990
24 Almquist and Wiksell (context) - Prawitz - 1965
22 There's no substitute for linear logic - Wadler - 1991
19 A linear semantics for allowed logic programs (context) - Cerrito - 1990
15 Linear logic and interference control (context) - O'Hearn - 1991
8 Linear ML (context) - Chirimar, Gunter et al. - 1992
2 Lecture Notes from Tutorial at ILPS (context) - Abramsky, linear - 1991
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www2.csl.sri.com/~lincoln/lincoln-papers.html): More
A Formally Verified Algorithm for Interactive Consistency.. - Lincoln, Rushby (1993) (Correct)
Simulation and Performance Estimation for the Rewrite Rule.. - Hitoshi Aida (1992) (Correct)
Decision Problems for Propositional Linear Logic - Lincoln, Mitchell, Scedrov.. (1990) (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