Montague Grammar and Type-Driven Interpretation
Treating English as a formal language with the typed lambda calculus doing the composition
Planned, not yet written
This rung already has its place in the Philosophy of Language ladder and a fixed job in the order. The prose is what is missing. Writing it out of sequence would break the guarantee that nothing here uses a term before an earlier article defines it.
Will defineMontague grammarsemantic typetype-driven interpretationfunctional application
Assumessimply typed lambda calculuscompositionalityintensionDavidsonian truth theory