Programming in Lygon: An overview
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 391-405
- https://doi.org/10.1007/bfb0014329
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Logic Programming in a Fragment of Intuitionistic Linear LogicInformation and Computation, 1994
- A Uniform Proof-theoretic Investigation of Linear Logic ProgrammingJournal of Logic and Computation, 1994
- The aditi deductive database systemThe VLDB Journal, 1994
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992
- Linear objects: Logical processes with built-in inheritanceNew Generation Computing, 1991
- Uniform proofs as a foundation for logic programmingAnnals of Pure and Applied Logic, 1991
- Linda in contextCommunications of the ACM, 1989
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Linear logicTheoretical Computer Science, 1987
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976