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