V2 of Paper as PDF:

Abstract: A gradual introduction to LFG's 'glue semantics', starting with a very basic introduction to the ideas of simple type theory, using notations that are as similar as possible to conventional formats for semantic representation, up through proof-normalization, etc.