A Subatomic Proof System Andrea Aler Tubella (joint work with Alessio Guglielmi) University of Bath 23rd May 2015

First Page		Document Content
Date: 2016-04-04 17:57:14		A Subatomic Proof System Andrea Aler Tubella (joint work with Alessio Guglielmi) University of Bath 23rd May 2015 Add to Reading List Source URL: aalertubelladotcom.files.wordpress.com Download Document from Source Website File Size: 148,14 KB Share Document on Facebook