1. Relational algebra by way of adjunctions;Proceedings of the ACM on Programming Languages;2018-07-30
2. The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras;Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science;2018
3. Axioms and decidability for type isomorphism in the presence of sums;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14
4. Continuation-passing style models complete for intuitionistic logic;Annals of Pure and Applied Logic;2013-06
5. Isomorphic formulae in classical propositional logic;Mathematical Logic Quarterly;2011-11-02