Mathematics and Computation | How to implement dependent type theory I - discu.eu

Hacker News

How to implement dependent type theory I (2012) https://math.andrej.com/2012/11/08/how-to-implement-dependent-type-theory-i/ 9 comments 14/6/2023

Linking pages

Wesley Aptekar-Cassels | Languages I want to write https://blog.wesleyac.com/posts/language-todos 202 comments

Related searches:

Search whole site: site:math.andrej.com

Search title: Mathematics and Computation | How to implement dependent type theory I

See how to search.

Submit link to: