Home › Authors › Andrew M. Pitts 👤 Andrew M. Pitts 3 books Books by Andrew M. Pitts Nominal Sets Nominal Sets 2013 Nominal Sets Names And Symmetry In Computer Science 2013 Higher Order Operational Techniques in Semantics 1998
