A Semantic Proof of Polytime Soundness of Light Aﬃne Logic Ugo Dal Lago1 and Martin Hofmann2 1 Dipartimento di Scienze dell’Informazione, Universit`

First Page		Document Content
Date: 2015-05-05 05:18:55		A Semantic Proof of Polytime Soundness of Light Aﬃne Logic Ugo Dal Lago1 and Martin Hofmann2 1 Dipartimento di Scienze dell’Informazione, Universit` Add to Reading List Source URL: www.tcs.ifi.lmu.de Download Document from Source Website File Size: 456,15 KB Share Document on Facebook