Theory Comput Syst: 673–689 DOIs00224x A Semantic Proof of Polytime Soundness of Light Affine Logic Ugo Dal Lago · Martin Hofmann - Soundness - Document - PDFSEARCH.IO

First Page	Meta Content
	Theory Comput Syst: 673–689 DOIs00224x A Semantic Proof of Polytime Soundness of Light Affine Logic Ugo Dal Lago · Martin Hofmann Add to Reading List Document Date: 2015-04-30 03:48:11 Open Document File Size: 442,11 KB Share Result on Facebook

Theory Comput Syst: 673–689 DOIs00224x A Semantic Proof of Polytime Soundness of Light Affine Logic Ugo Dal Lago · Martin HofmannAdd to Reading List