Back to Results
First PageMeta Content
Logic / Mathematical logic / Proof theory / Abstraction / Non-classical logic / Logic in computer science / Philosophical logic / Model theory / Sequent / CurryHoward correspondence / Intuitionistic logic / Cut-elimination theorem


Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015
Add to Reading List

Document Date: 2016-02-19 10:54:23

Open Document

File Size: 473,68 KB

Share Result on Facebook