McCusker, Guy (1998) Games and Full Abstraction for a Functional Metalanguage with Recursive Types. Springer-Verlag, London, p. 208. ISBN 9783540762553

Full text not available from this repository.

Abstract

Published in Springer-Verlag Distinguished Dissertations series

Item Type:	Book
Schools and Departments:	School of Engineering and Informatics > Informatics
Depositing User:	EPrints Services
Date Deposited:	06 Feb 2012 20:06
Last Modified:	07 Jun 2012 14:51
URI:	http://sro.sussex.ac.uk/id/eprint/24091

📧 Request an update