tt-conspect icon indicating copy to clipboard operation
tt-conspect copied to clipboard

Published 20 hours ago • verified publisher icon artemohanjanyan
→

Metadata

Notes for type theory course

Type Theory

Notes for Type Theory ITMO course, spring 2016.

Latest build can be found on Dropbox.
Feel free to contribute or contact me, if you have questions or suggestions.

← Metadata

21
Stars
6
Forks
Watchers

Owner

verified publisher icon artemohanjanyan

Metadata

Notes for type theory course

Back