The top documents tagged [proof theory]
bab2b
34 views
ACL Tutorial on Textual Entailment
1.377 views
Geuvers slides
98 views
Simply typed lambda-calculus modulo isomorphisms
4.019 views
Combinators, DSLs, HTML and F#
4.563 views
Kerry Taylor - Semantics & sensors
3.270 views
Constructive Modal Logics, Once Again
292 views
Principles of Programming Languages
736 views