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:

Conference web page: