Proof Objects for the Languages of the World

Invited talk in the conference "Truth Makers and Proof Objects", Paris, 23-25 November 2011. My talk gives a summary of type-theoretical semantics (particularly, anaphora and presuppositions), then shows how this is implemented in GF and generalized for the multilingual resource grammar library.

Talk slides: http://www.cse.chalmers.se/~aarne/talks/paris-2011.pdf

Conference web page: http://tmpo.sciencesconf.org/