The Uniform Proof-theoretic Foundation of Linear Logic Programming (Extended Abstract

Post on 12-Jan-2023

0 views 0 download

Transcript of The Uniform Proof-theoretic Foundation of Linear Logic Programming (Extended Abstract