1. Addressing Machines as models of lambda-calculus;Logical Methods in Computer Science;2022-07-29
2. Processes, Systems & Tests: Defining Contextual Equivalences;Electronic Proceedings in Theoretical Computer Science;2021-10-02
3. α β-Relations and the Actual Meaning of α-Renaming;ACM Transactions on Computational Logic;2021-01-22
4. Semantics of a Relational $$\lambda $$-Calculus;Theoretical Aspects of Computing – ICTAC 2020;2020
5. Taylor subsumes Scott, Berry, Kahn and Plotkin;Proceedings of the ACM on Programming Languages;2020-01