Back to Results
First PageMeta Content
Mathematical logic / Mathematics / Wellfoundedness / Set theory / Ordinal numbers / Constructible universe / Proof theory / CurryHoward correspondence / Net


Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden
Add to Reading List

Document Date: 2016-08-01 05:50:10


Open Document

File Size: 73,64 KB

Share Result on Facebook