The Uniform Proof-Theoretic Foundation of Linear Logic Programming

Post on 12-Jan-2023

0 views 0 download

Transcript of The Uniform Proof-Theoretic Foundation of Linear Logic Programming