Articles

Presentations

Various manuscripts

Miscellaneous

Some informal notes about every thought I don't have time to pursue actively: Here is a software for easy typesetting of trees. Here is a useful code I make for computing the meaning of Exh applied to some formulas: