IULC Indiana University Linguistics Club

Chiastic Lambda-Calculi

Time: 01:30pm - 02:10pm 

Place: Swain East 140

Wren Thornton

We introduce associative and chiastic lambda-calculi, inspired by the linguistics of languages with free word order. In particular, we focus on the simply-typed left-chiastic lambda-calculus, giving a formal definition of the calculus, proving that type-level reduction is strongly normalizing and has the Church–Rosser property, and demonstrating its use for capturing free constituent order and arity-altering verbal morphology in Japanese.

In category: Morphosyntax and semantics