First-Order Logic (and beyond) Johan Bos. Overview of this lecture Introduction to first-order logic Discourse Representation Theory Using the Lambda-Calculus.
© Johan Bos April 200 6 When logical inference helps in determining textual entailment ( and when it doesn’t) Johan Bos & Katja Markert Linguistic Computing.
Scalable Certification for Typed Assembly Language Dan Grossman (with Greg Morrisett) Cornell University 2000 ACM SIGPLAN Workshop on Types in Compilation.