Date: 2007-12-18 10:38:50Noncommutative logic Linear logic Natural deduction Substructural logic Cut-elimination theorem Sequent Curry–Howard correspondence Deep inference Admissible rule Logic Mathematical logic Proof theory | | 27 January 2007, ACM Transactions on Computational Logic, Vol. 8 (1:1), 2007, pp. 1–64 A System of Interaction and Structure Alessio Guglielmi University of Bath Bath BA2 7AYAdd to Reading ListSource URL: cs.bath.ac.ukDownload Document from Source Website File Size: 639,05 KBShare Document on Facebook
|