Articles

Conference Proceedings

Dissertation

Conference Presentations

Miscellanea

I am the author of the Exh Python PIP package to automate the computation of innocent exclusion exhaustification. Some informal notes about formal language theory: I wrote this semi-graphical software for typesetting trees in LateX: Old presentations: Various manuscripts, notes, presentations: