Andrew M. Pitts

• Higher Order Operational Techniques in Semantics
• Higher Order Operational Techniques in Semantics
• Nominal Sets Names And Symmetry In Computer Science
• Nominal Sets
• Semantics and Logics of Computation