Indiana University

Previous month Previous week Next week Next month
See by year See by month See by week See Today Search Jump to month
Events for the week :
June 16, 2013 - June 22, 2013
Sunday
June 16
Monday
June 17
Tuesday
June 18
Wednesday
June 19
Thursday
June 20
Friday
June 21
  • 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

     

Saturday
June 22



JEvents v3.0.9 Stable   Copyright © 2006-2013