A

Andrew M. Pitts

4 books found

Books by Andrew M. Pitts
Nominal SetsAndrew M. Pitts
⏱ 4h 55m

Nominal Sets

Andrew M. Pitts

2013295 pp.
Nominal Sets Names And Symmetry In Computer ScienceAndrew M. Pitts

Nominal Sets Names And Symmetry In Computer Science

Andrew M. Pitts

2013No page data
Semantics and Logics of ComputationAndrew M. Pitts

Semantics and Logics of Computation

Andrew M. Pitts

2009No page data
Higher Order Operational Techniques in SemanticsAndrew D. Gordon
⏱ 6h 30m

Higher Order Operational Techniques in Semantics

Andrew D. Gordon

1998390 pp.