First Page | Document Content | |
---|---|---|
Date: 2016-08-01 05:50:10Mathematical 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 DresdenAdd to Reading ListSource URL: www.janis-voigtlaender.euDownload Document from Source WebsiteFile Size: 73,64 KBShare Document on Facebook |