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 2015Add to Reading ListSource URL: aalertubelladotcom.files.wordpress.comDownload Document from Source WebsiteFile Size: 148,14 KBShare Document on Facebook |