Generalising cut elimination through subatomic proof systems Andrea Aler Tubella (joint work with Alessio Guglielmi) University of Bath 6th of May 2016 - Work systems - Document - PDFSEARCH.IO

First Page	Meta Content
	Generalising cut elimination through subatomic proof systems Andrea Aler Tubella (joint work with Alessio Guglielmi) University of Bath 6th of May 2016 Add to Reading List Document Date: 2016-06-20 13:02:53 Open Document File Size: 286,22 KB Share Result on Facebook

Generalising cut elimination through subatomic proof systems Andrea Aler Tubella (joint work with Alessio Guglielmi) University of Bath 6th of May 2016Add to Reading List