The top documents tagged [valid proofs]
30420130403002
109 views
Simply typed lambda-calculus modulo isomorphisms
4.019 views
Chapter 2
3.724 views
Outline
33 views
Correctness Proofs
79 views
22C:19 Discrete Math Logic and Proof
47 views