Back to Results
First PageMeta Content
Type theory / Parametricity / Polymorphism / Ordinal number / Constructible universe / Functional programming / Proof theory / CurryHoward correspondence / Net


Embarrassingly Simple Generation of Free Theorems Stefan Mehner and Janis Voigtl¨ander March 26th, 2014
Add to Reading List

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


Open Document

File Size: 204,44 KB

Share Result on Facebook