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