Back to Results
First PageMeta Content
Universal algebra / Constructible universe / Type theory / CurryHoward correspondence


Free Theorems and “Real” Languages Janis Voigtl¨ ander Technische Universit¨ at Dresden
Add to Reading List

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


Open Document

File Size: 521,19 KB

Share Result on Facebook