Andrew M. Pitts

Books by Andrew M. Pitts

Total count: 3

• 
  Category Theory and Computer ScienceManchester, Uk, September 5-8, 1989 Proceedings (Lecture Notes in Computer Science)

  Springer1989-10-01
• Semantics and Logics of Computation

  Cambridge University Press2009-01-01
• Nominal Sets

  Cambridge University Press2013-01-01