Games and Full Abstraction for a Functional Metalanguage with Recursive Types

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://srodev.sussex.ac.uk/id/eprint/24091
📧 Request an update