1. 6
    Type theory and its meaning explanations pdf compsci jonmsterling.com
    mjn avatar via mjn 3 years ago | cached | 1 comment

  1.  

  2. 3
    jozefg avatar jozefg 3 years ago | link

    If you think this stuff is cool, the author is implementing a proof assistant based on these ideas: JonPRL. It’s always more fun to learn math by programming :)