No proof nets for MLL with units Proof equivalence in MLL is PSPACE•complete Willem Heijltjes∗ and Robin Houston∗∗ - PSPACE - Document - PDFSEARCH.IO

First Page	Meta Content
	No proof nets for MLL with units Proof equivalence in MLL is PSPACE•complete Willem Heijltjes∗ and Robin Houston∗∗ Add to Reading List Document Date: 2014-07-19 19:28:17 Open Document File Size: 173,01 KB Share Result on Facebook Facility University of Bath / / Organization University of Bath / / Person Robin Houston / / SocialTag Natural deduction Linear logic Proof net Sequent calculus Curry–Howard correspondence Proof theory Logic Mathematical logic

No proof nets for MLL with units Proof equivalence in MLL is PSPACE•complete Willem Heijltjes∗ and Robin Houston∗∗Add to Reading List