Nominal Sets
Andrew M Pitts - Hardback
£54.99
Semantics and Logics of Computation
2 contributors - Hardback
£125.00
Higher Order Operational Techniques in Semantics
£89.99
2 contributors - Paperback
£41.99