Commies: The People's Reading Group
The Logic, Language, Information and Computation Reading Group
The Department of Linguistics at The Ohio State University
Winter 2010
| Date | Topic | Felicitator |
|---|---|---|
| 6 Jan | Organizational meeting | Comrades |
| 13 Jan | Directed-Complete Partial Orders and Scott Topologies Summary: Cpos, PCF, and Control (Sec. 1.1 and 3.1) | Andy Plummer |
| 20 Jan | Denotational Semantics of PCF Summary: John Longley's notes on PCF Amadio & Curien Lambda calculus, PCF Scott Topologies (Cont.) Summary: Cpos, PCF, and Control (Sec. 3.2 and 3.3) |
Pat Reidy Andy Plummer |
| 27 Jan | Denotational Semantics of PCF (Cont.) Summary: John Longley's notes on PCF Amadio & Curien Lambda calculus, PCF | Pat Reidy |
| 3 Feb | Call-by-name material | Pat Reidy |
| 10 Feb | Call-by-value and Fischer CPS Summary: Cpos, PCF, and Control (Sec. 5.1) | Andy Plummer |
| 17 Feb | Simulating Control with Monads: A Paean to Ceiling Cat | Andy Plummer |
| 24 Feb | Continuations in Natural Language: A Gentle Introduction to CPS Grammars | Andy Plummer |
| 3 Mar | Dynamic semantics (CPS version) | Carl Pollard Scott Martin |
| 10 Mar | No Meeting |