Andrew M. Pitts

No bio available. Add one in Open Library.

Books by Andrew M. Pitts (50 max)

+ shelf+ list

Nominal Sets

2013

Andrew M. Pitts

+ shelf+ list

Semantics and Logics of Computation

2009

Andrew M. Pitts, P. Dybjer

+ shelf+ list

Higher order operational techniques in semantics

1998

Andrew D. Gordon, Andrew M. Pitts, H. K. Moffatt

+ shelf+ list

Nominal Sets Names And Symmetry In Computer Science

2013

Andrew M. Pitts