A Generalised cut-elimination Procedure through Subatomic Proof Systems Andrea Aler Tubella (joint work with Alessio Guglielmi) University of Bath

First Page		Document Content
Date: 2016-04-12 16:45:01		A Generalised cut-elimination Procedure through Subatomic Proof Systems Andrea Aler Tubella (joint work with Alessio Guglielmi) University of Bath Add to Reading List Source URL: aalertubelladotcom.files.wordpress.com Download Document from Source Website File Size: 273,51 KB Share Document on Facebook