1. A New Approach to Abstract Syntax with Variable Binding
2. Gabbay, M. J. (2001). A Theory of Inductive Definitions with alpha-Equivalence. Phd thesis, University of Cambridge, UK.
3. Separation logic: a logic for shared mutable data structures
4. Equivariant ZFA and the foundations of nominal techniques
5. Nester, C. (2021). A Foundation for Ledger Structures. In: Anceaume, E., BisiÈre, C., Bouvard, M., Bramas, Q. and Casamatta, C. (eds.) 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020), Open Access Series in Informatics (OASIcs), vol. 82, Dagstuhl, Germany, Schloss Dagstuhl–Leibniz-Zentrum fÜr Informatik, 7:1–7:13.