<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2016-08-01 05:50:11Wellfoundedness Mathematical logic Mathematics Constructible universe Proof theory Logic Ordinal numbers CurryHoward correspondence Conjugate element |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2016-08-01 05:50:11Wellfoundedness Mathematical logic Mathematics Constructible universe Proof theory Logic Ordinal numbers CurryHoward correspondence Conjugate element |
Add to Reading List |
Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden