See this document in CiteSeerX!

Applications of Linear Logic to Computation: An Overview (1993)  (Make Corrections)  (36 citations)
Vladimir Alexiev
Bulletin of the IGPL



  Home/Search   Context   Related

 
View or download:
menaik.cs.ualberta.ca/pu...linear.ps.gz
menaik.cs.ualberta.ca/p...TR9318.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  fermivista.math....cs.ualberta.ca (more)
From:  fermivista.math....cs.ualberta.ca
Homepages:  V.Alexiev  

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper is an overview of existing applications of Linear Logic (LL) to issues of computation. After a substantial introduction to LL, it discusses the implications of LL to functional programming, logic programming, concurrent and object-oriented programming and some other applications of LL, like semantics of negation in LP, non-monotonic issues in AI planning, etc. Although the overview covers pretty much the state-of-the-art in this area, by necessity many of the works are only mentioned ... (Update)

Similar documents based on text:   More   All
0.4:   Resource-Conscious AI Planning with Conjunctions and Disjunctions - Küngas (2002)   (Correct)
0.1:   The Event Calculus as a Linear Logic Program - Alexiev (1995)   (Correct)
0.1:   Boolean Constraint Propagation Networks - Georgi Marinov Sirma   (Correct)

Related documents from co-citation:   More   All
26:   Theoretical Computer Science (context) - Girard - 1987
16:   Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
15:   Linear Objects: Logical Processes with Built-in Inheritance - Pareschi

BibTeX entry:   (Update)

V. Alexiev. Applications of linear logic to computation: An overview. Technical Report TR93--18, University of Alberta, Dec. 1993. Submitted to Bulletin of the IGPL. http://citeseer.ist.psu.edu/alexiev93application.html   More

@article{ alexiev94applications,
    author = "V. Alexiev",
    title = "Applications of Linear Logic to Computation: An Overview",
    journal = "Bulletin of the IGPL",
    volume = "2",
    number = "1",
    pages = "77-107",
    year = "1994",
    url = "citeseer.ist.psu.edu/alexiev93application.html" }
Citations (may not include all citations):
344   concurrent constraint programming (context) - Saraswat, Lincoln et al. - 1992
340   Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
248   The mathematics of sentence structure (context) - Lambek - 1958
200   the difference between updating a knowledge base and revisin.. - Katsuno, Mendelzon - 1991
184   Linear types can change the world - Wadler - 1990
142   Logic programming with focusing proofs in linear logic - Andreoli - 1992
126   A logical theory of concurrent objects and its realization i.. (context) - Meseguer - 1992
109   Interaction nets (context) - Lafont - 1990
96   Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1992
96   Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1990
79   Simple consequence relations - Avron - 1991
75   The geometry of optimal lambda reduction - Gonthier, Abadi et al. - 1992
73   Is there a use for linear logic (context) - Wadler - 1991
72   Archive for Mathematical Logic (context) - Danos, Regnier et al. - 1989
69   Geometry of interaction I: Interpretation of system f (context) - Girard - 1989
69   calculus as a theory in linear logic: Preliminary results (context) - Miller - 1992
65   A new deductive approach to planning (context) - Holldobler, Schneeberger - 1990
64   Rewriting logic as a logical and semantic framework - Mart'i-Oliet, Meseguer - 1993
63   A brief guide to linear logic - Scedrov - 1990
56   The formulas-as-types notion of construction (context) - Howard - 1980
54   Phase semantics and sequent calculus for pure noncommutative.. (context) - Abrusci - 1991
53   Center for the Study of Language and Information (context) - Troelstra, Linear et al. - 1992
52   The Chemical Abstract Machine (context) - Berry, Boudol - 1990
50   New foundations for the geometry of interaction - Abramsky, Jagadeesan - 1992
49   ACL --- a concurrent linear logic programming paradigm - Kobayashi, Yonezawa - 1993
48   A logical theory of concurrent objects (context) - Meseguer - 1990
47   Lilac---a functional programming language based on linear lo.. (context) - Mackie - 1991
46   Rewriting as a unified model of concurrency (context) - Meseguer - 1990
46   Term assignment for intuitionistic linear logic (context) - Benton, Bierman et al. - 1992
46   Resource Logics: Proof-theoretical Investigations (context) - Roorda - 1991
43   Interaction abstract machines - Andreoli, Ciancarini et al. - 1993
43   Game semantics for linear logic (context) - Lafont, Streicher - 1991
43   A taste of linear logic - Wadler - 1993
42   Linear logic without boxes - Gonthier, Abadi et al. - 1992
41   Interaction systems I: The theory of optimal reductions - Asperti, Laneve - 1992
40   Communication as fair distribution of knowledge - Andreoli, Pareschi - 1991
39   Horn programming in linear logic is NP-complete (context) - Kanovich - 1992
38   From Petri nets to linear logic through categories: A survey (context) - Mart'i-Oliet, Meseguer - 1991
37   Action logic and pure induction - Pratt - 1990
37   Journal of Symbolic Logic (context) - Yetter, noncommutative et al. - 1990
35   From Petri nets to linear logic (context) - Mart'i-Oliet, Meseguer - 1989
35   Normal process representatives (context) - Gehlot, Gunter - 1990
35   Reference counting as a computational interpretation of line.. - Chirimar, Gunter et al. - 1992
35   From Petri nets to linear logic (context) - Mart'i-Oliet, Meseguer - 1991
35   Linear logic and lazy computation (context) - Girard, Lafont - 1987
34   Constant-only multiplicative linear logic is NP-complete - Lincoln, Winkler - 1992
34   A categorical linear framework for Petri nets (context) - Brown, Gurr - 1990
33   From proof nets to interaction nets - Lafont - 1994
32   Petri nets as models of linear logic - Engberg, Winskel - 1990
31   Equational logic programming (context) - GroBetae, Holldobler et al. - 1992
30   Some Chemical Abstract Machines (context) - Boudol - 1993
30   Logic programming with sequent systems: A linear logic appro.. (context) - Andreoli, Pareschi - 1989
29   ACM SIGACT Notices (context) - Lincoln - 1992
26   Completeness results for linear logic on Petri nets - Engberg, Winskel - 1993
25   calculus and linear logic - Bellin, Scott et al. - 1992
25   Nets as tensor theories (context) - Gunter, Gehlot - 1989
24   Logical objects (context) - Conery - 1988
24   Geometry of interaction II: Deadlock-free algorithms (context) - Girard - 1990
22   Extending the Curry-Howard interpretation to linear (context) - Gabbay, de Queiroz - 1992
21   First order linear logic without modalities is NEXPTIME-hard - Lincoln, Scedrov - 1992
20   Optimal Interpreters for Lambda-Calculus Based Functional La.. (context) - Kathail - 1990
20   Kripke models for linear logic (context) - Allwein, Dunn - 1993
20   Adventures in associative-commutative unification - Lincoln, Christian - 1988
19   proofs as computations (context) - Asperti, Ferrari et al. - 1990
19   A linear semantics for allowed logic programs (context) - Cerrito - 1990
17   On resolution in fragments of classical linear logic (context) - Harland, Pym - 1992
17   On deductive planning and the frame problem (context) - Holldobler - 1992
17   Concurrent Structured Processes (context) - Andreoli, Pareschi et al. - 1990
17   Proving memory management invariants for a language based on.. - Chirimar, Gunter et al. - 1992
17   Applications of Algebraic Specification Using OBJ (context) - Goguen, Coleman et al. - 1993
16   The multiplicative fragment of linear logic is NP-complete (context) - Kanovich - 1991
16   Local and asynchronous beta-reduction (context) - Danos, Regnier - 1993
16   Plan generation by linear proofs: On semantics (context) - Bibel, Cerro et al. - 1989
16   Computational Aspects of Linear Logic - Lincoln - 1992
15   look ma, no garbage (context) - Jr, lisp--- - 1992
15   Linear logic and interference control (context) - O'Hearn - 1991
15   The linear abstract machine (context) - Lafont - 1988
14   A procedure for automatic proof nets construction - Galmiche, Perrier - 1992
14   Interaction systems II: The practice of optimal reductions - Asperti, Laneve - 1993
14   A Dialectica-like model of linear logic (context) - de Paiva - 1989
14   Computer Science Laboratory (context) - Mart'i-Oliet, Meseguer et al. - 1993
13   Part II: Linear logic and proof nets (context) - Gallier - 1991
13   Dipartimento di Informatica (context) - Asperti, for et al. - 1987
13   The duality of time and information - Pratt - 1992
12   High-level nets and linear logic (context) - Lilius - 1992
11   True concurrency semantics for a linear logic programming la.. - Andreoli, Leth et al. - 1993
11   Typed higher-order concurrent linear logic programming - Kobayashi, Yonezawa - 1994
11   Abstract interpretation of linear logic programming - Andreoli, Pareschi et al. - 1993
11   Noncommutative intuitionistic linear propositional logic (context) - Abrusci - 1990
11   Mutable object state for object-oriented logic programming: .. - Alexiev - 1993
10   A linear axiomatization of negation as failure (context) - Cerrito - 1992
9   Theoretical Comput (context) - Girard - 1987
9   Number 7 in Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1988
9   Optimal reductions in interaction systems (context) - Asperti, Laneve - 1993
9   Linear Logic and Petri Nets: Categories (context) - Brown - 1990
8   Geometry of interaction III: The general case (context) - Girard - 1993
8   The paradigm of interaction (context) - Lafont - 1991
8   Special Volume dedicated to the memory of John Myhill (context) - Blass, semantics et al. - 1992
7   A brief introduction to linear concurrent constraint program.. (context) - Saraswat - 1993
6   Generating plans in linear logic: II A geometry of conjuncti.. (context) - Masseron - 1993
6   New Generation Computing (context) - Fronhofer, plan - 1987
6   Linear functional programming (context) - Holmstrom - 1988
5   Special issue devoted to Categories in Computer Science (context) - Asperti, comonads et al. - 1994
5   computations and labels in the lambda-calculus (context) - Asperti, Laneve - 1993
4   Global state considered unnecessary: Semantics of interferen.. (context) - Reddy - 1993
4   Lolli: An extension of -Prolog with linear logic context man.. (context) - Hodas - 1992
4   Proof nets and typed lambda calculus (context) - Bellin, Wiele - 1993
4   Quantifiers in linear logic (context) - Girard - 1987
4   Proof nets and coherence theorems (context) - Blute - 1991
3   Linear proofs and linear logic (context) - Fronhofer - 1992
2   Mobile linear logic as a framework for asynchronous and sync.. (context) - Okada - 1993
2   Reasoning on actions and change in a linear logic programmin.. - Kobayashi, Yonezawa - 1993
2   To appear in Annals of Pure and Applied Logic (context) - Girard, unity et al. - 1991
2   Negation and linear completion (context) - Cerrito - 1992
2   Term rewriting in associative commutative theories with iden.. - Henz - 1991
2   Availabile by anonymous FTP from ftp (context) - Castellani, Ciancarini et al. - 1994
1   Tutorial presented at the University of Tokyo (context) - Okada, Aug - 1992
1   A neigborhood model for linear logic's exponentials (context) - Allwein - 1992
1   Universit'e Paris-Nord (context) - Fouquer'e, Vauzeilles et al. - 1993
1   Concrete data structures (context) - Curien - 1992
1   Also technical report TD (context) - Laneve, Concurrency et al. - 1993
1   Linear logic as CSP (context) - Monteiro - 1994
1   Techniche Hochschule Darmstadt (context) - GroBetae, Holldobler et al. - 1992
1   Equational specification of systems of interacting objects (context) - Malcolm - 1993
1   Operational aspects of linear lambda caclulus (context) - Lincoln, Mitchell - 1992
1   Committed-choice concurrent logic programming in linear logi.. (context) - Zlatuska - 1993
1   linear logic and the ß-calculus: A survey (context) - Mackie - 1993
1   Submitted to Mathemathical Structures in Computer Science (context) - Asperti, approach et al. - 1991
1   answer to Jon Barwise (context) - Pratt, semantics - 1992
1   Logic and exceptions: A few remarks (context) - Girard - 1992
1   Refinement and simulation of nets -- a categorial characteri.. (context) - Brown, Gurr - 1992
1   Mathemathical Structures in Computer Science (context) - Barr, categories et al. - 1991
1   Three years of communications without understanding (context) - Asperti, Danos et al.



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://fermivista.math.jussieu.fr/ftp/menaik.cs.ualberta.ca.html):   More
A Stable Algorithm for Multi-dimensional Padé.. - Cabay, Jones, Labahn (1994)   (Correct)
A First Implementation of Modular Smalltalk - Holst, Szafron (1993)   (Correct)
Global Snapshots for Distributed Debugging: An Overview - Yang, Marsland (1992)   (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