Canonical Proofs for Linear Logic Programming Frameworks (1994)

by D Galmiche
Venue:Proof-Theoretical Extensions of Logic Programming 210, Post-Conference Workshop for ICLP'94, Santa Margherita Ligure