- Jean-Yves Girard: Proofs and Types | PDF http://www.paultaylor.eu/stable/prot.pdf 8 comments programming
Linking pages
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - jozefg/learn-tt: A collection of resources for learning type theory and type theory adjacent fields. https://github.com/jozefg/learn-tt 17 comments
- TLA+ in Practice and Theory&ampampampampampampampampampampampampampampampampampampLTbr/>Part 4: Order in TLA+ https://pron.github.io/posts/tlaplus_part4 15 comments
- GitHub - rossant/awesome-math: A curated list of awesome mathematics resources https://github.com/rossant/awesome-math 12 comments
- GitHub - learn-anything/books: Awesome Books https://github.com/learn-anything/books 6 comments
Related searches:
Search whole site: site:www.paultaylor.eu
Search title: Jean-Yves Girard: Proofs and Types | PDF
See how to search.