nopeAug 7, 2023
Logic Programming With Focusing Proofs in Linear Logic
(1992) : Andreoli, Jean-Marc
DOI: https://doi.org/10.1093/logcom/2.3.297
#sequent_calculus #linear_logic #focusing_proofs #logic_programming #LinLog #my_bibtex
Logic Programming with Focusing Proofs in Linear Logic

Abstract. The deep symmetry of linear logic [18] makes it suitable for providing abstract models of computation, free from implementation details which are, by

OUP Academic