Time: 01:30pm - 02:10pm
Place: Swain East 140
Wren ThorntonWe 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
JEvents v3.0.9 Stable
Copyright © 2006-2013
Powered by Joomla!®
Copyright © 2008 The Trustees of Indiana University | Copyright Complaints