Applications of Linear Logic to Computation: An Overview

DOI10.1093/jigpal/2.1.77zbMath0810.03024OpenAlexW1989713129WikidataQ57338854 ScholiaQ57338854MaRDI QIDQ4318165

Vladimir Alexiev

Publication date: 2 January 1995

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4d79859842b88c6d1cf69c24c0f0c5a53063eb3c

zbMATH Keywords

surveylogic programmingfunctional programmingsemantics of negationapplications of linear logic to computationconcurrent and object-oriented programmingnon-monotonic issues in AI planning

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17) General topics in the theory of software (68N01) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Unnamed Item ⋮ Coordination: Reo, Nets, and Logic ⋮ Connection methods in linear logic and proof nets construction

This page was built for publication: Applications of Linear Logic to Computation: An Overview