Your search returned 3 results.

Not what you expected? Check for suggestions

Results
		From semantics to computer science: essays in honour of Gilles Kahn by Yves Bertot (ed.) \| Gerard Huet (ed.) \| Jean-Jacques Levy (ed.) \| Gordon Plotkin (ed.). Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press c2009Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004 SEM.
		From semantics to computer science: essays in honour of Gilles Kahn by Yves Bertot (ed.) \| Gerard Huet (ed.) \| Jean-Jacques Levy (ed.) \| Gordon Plotkin (ed.). Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge University Press c2009Availability: Items available for loan: Central Library (1)Call number: 004 SEM. Place hold
		Proof, language, and interaction: essays in honour of Robin Milner by Gordon Plotkin (ed.) \| Colin Stirling (ed.) \| Madas Tofte (ed.). Series: Edition: Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: The M.I.T. Press 2000Availability: Items available for reference: Central Library: Not for loan (1)Call number: 004 PRO.

Refine your search