Browse
FAQ

Author

Andrew M. Pitts

4 books found

Cover of Nominal Sets

Nominal Sets

Andrew M. Pitts · First published 2013

Cover of Nominal Sets Names And Symmetry In Computer Science

Nominal Sets Names And Symmetry In Computer Science

Andrew M. Pitts · First published 2013

Cover of Semantics and Logics of Computation

Semantics and Logics of Computation

Andrew M. Pitts, P. Dybjer · First published 2009

Cover of Higher Order Operational Techniques in Semantics

Higher Order Operational Techniques in Semantics

Andrew D. Gordon, Andrew M. Pitts, H. K. Moffatt · First published 1998