<--- Back to Details
| 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 |
Add to Reading List |
| 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 |
Add to Reading List |
Free Theorems for Bidirectional Transformation Janis Voigtl¨ ander Technische Universit¨ at Dresden