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.
Notes for type theory course
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.
Notes for type theory course