Christopher Potts's CGI projects

comp4ling

Linguistic Oddities

HaLP: Harmonic grammar with linear programming

A pure interface to the two-phase simplex algorithm used above

Integrated pragmatic values

Typefree lambda calculus beta reduction

Computing Paul Dekker's Predicate Logic with Anaphora

Computing Jeroen Groenendijk's Logic of Interrogation

Game Theory in Linguistics