Focussing and proof construction
- 15 January 2001
- journal article
- Published by Elsevier BV in Annals of Pure and Applied Logic
- Vol. 107 (1-3), 131-163
- https://doi.org/10.1016/s0168-0072(00)00032-4
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- CLF/Mekano: a framework for building virtual-enterprise applicationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1999
- Light Linear LogicInformation and Computation, 1998
- Resource-distribution via Boolean constraintsLecture Notes in Computer Science, 1997
- Logic Programming in a Fragment of Intuitionistic Linear LogicInformation and Computation, 1994
- True concurrency semantics for a linear logic programming language with broadcast communicationLecture Notes in Computer Science, 1993
- Logic Programming with Focusing Proofs in Linear LogicJournal of Logic and Computation, 1992
- Uniform proofs as a foundation for logic programmingAnnals of Pure and Applied Logic, 1991
- A logical analysis of modules in logic programmingThe Journal of Logic Programming, 1989
- Linear logicTheoretical Computer Science, 1987