![](https://www.pdfsearch.io/img/6fc1c44e67b673b5ae42d3cfba9a36d3.jpg) 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 BathAdd to Reading ListSource URL: aalertubelladotcom.files.wordpress.comDownload Document from Source Website File Size: 273,51 KBShare Document on Facebook
|