Course Information

TIME: MW 11:30A-1:18
PLACE: Jennings Hall 164
COURSE WEB SITE: http://www.ling.ohio-state.edu/~plummer/courses/spring09/ling820/

INSTRUCTOR: Carl Pollard
Office: Oxley Hall 18
Office hours TBA and by appointment
Office phone: (614) 292-7590 (office)
Cell: (614) 975-9789 (for emergencies only)

Reading

 Papers will be facilitated in the following order:
  1. Morrill, Glyn and Teresa Solias (1993) Tuples, discontinuity, and gapping in categorial grammar.
  2. Moortgat, Michael and Richard Oehrle (1993) Adjacency, dependency,and order.
  3. Oehrle, Richard (1994) Term-labelled categorial type systems.
    Oehrle, Richard (1995) Some 3-dimensional systems of labelled deduction.
  4. de Groote, Philippe (2001) Toward abstract categorial grammars.
  5. Muskens, Reinhard (2007) Separating syntax and combinatorics in categorial grammar.
  6. Morrill, Glyn, Oriol Valentin, and Mario Fadda (2008) Discontinuous Lambek calculus. (first 4 sections)
  7. Shan, Ken and Chris Barker (2006) Explaning crossover and superiority as left-to-right evaluation.
  8. Barker, Chris (2002) Continuations and the nature of quantificaion.
  9. Barker, Chris and Ken Shan (2006) Types as graphs: continuations in type logical grammar.
  10. Barker, Chris and Ken Shan (2008) Donkey anaphora is in-scope binding.

Background Reading

Chris Barker. Parasitic Scope.
Haskell Curry. Some logical aspects of grammatical structure.
Jim Lambek. On the calculus of syntactic types.
Glyn V. Morrill. Categorial Grammar: Logical Syntax, Semantics, and Processing. (book draft)

Links

 Recommended Reading
Asperti and Longo: Categories, Types and Structures
Barr and Wells: Category Theory Lecture Notes
Blute and Scott: Category Theory for Linear Logicians
Crouch and van Genabith: Linear Logic for Linguists
Pierce: Basic Category Theory for Computer Scientists
Scott: Some Aspects of Categories in Computer Science
Mathematics and Philosophy
MathSci
MathWorld
PlanetMath
Stanford Encyclopedia of Philosophy
Linguistics
Convergent Grammar
Higher Order Grammar
LING 681: Algebraic Linguistics
LING 680: Formal Foundations

Top | Course Information | Reading | Links