Back to Results
First PageMeta Content
Wellfoundedness / Mathematical logic / Mathematics / Constructible universe / Proof theory / Logic / Ordinal numbers / CurryHoward correspondence / Conjugate element


Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden
Add to Reading List

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


Open Document

File Size: 216,46 KB

Share Result on Facebook