Andrew Pitts

Advanced Topics in Bisimulation and Coinduction: Howe's method for higher-order languages

Andrew Pitts, A. Pitts, 2011 .

Semantics and Logics of Computation: Operationally-Based Theories of Program Equivalence

Andrew Pitts, A. Pitts, 1997 .