Articles

Presentations

Various manuscripts and notes

Miscellaneous

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