nope · @stacked_automation
124 followers · 6890 posts · Server mastodon.social
A Uniform Proof-Theoretic Investigation of Linear Logic Programming
(1994) : Pym, David J. Harland, James A...
DOI: https://doi.org/10.1093/logcom/4.2.175
#linear_logic #my_bibtex
nope · @stacked_automation
123 followers · 6688 posts · Server mastodon.social
Ceptre Tutorial
(2021) : Chris Martens
url: https://github.com/chrisamaphone/interactive-lp
#ceptre #linear_logic #logic_programming #tutorial
#my_bibtex
#ceptre #linear_logic #logic_programming #tutorial #my_bibtex
nope · @stacked_automation
123 followers · 6688 posts · Server mastodon.socialRasp and Asp As a Fragment of Linear Logic
(2013) : Stefania Costantini and Andrea Formisano
DOI: https://doi.org/10.1080/11663081.2013.798997
#ASP #RASP #answer_set_programming #linear_logic #resource_management
#my_bibtex
#asp #rasp #answer_set_programming #linear_logic #resource_management #my_bibtex
nope · @stacked_automation
83 followers · 5929 posts · Server mastodon.socialLinear Logic
(1987) : Jean-Yves Girard
DOI: https://doi.org/10.1016/0304-3975(87)90045-4
#coherent_spaces #linear_logic #proof_theory #semantics #sequent_calculus
#my_bibtex
#coherent_spaces #linear_logic #proof_theory #semantics #sequent_calculus #my_bibtex