Programs as Diagrams Programs as Diagrams
2023
Foundations of Security, Protocols, and Equational Reasoning Foundations of Security, Protocols, and Equational Reasoning
2019
Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology
2011