Back to Results
First PageMeta Content
Type theory / Thorsten Altenkirch / DTP / Dependent type


Fundamenta Informaticaei–i i DOIFIIOS Press
Add to Reading List

Document Date: 2010-09-09 06:56:43

Open Document

File Size: 58,77 KB

Share Result on Facebook
UPDATE