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