Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Guy McCusker author

Format:Hardback

Publisher:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Published:31st May '98

Should be back in stock very soon

Games and Full Abstraction for a Functional Metalanguage with Recursive Types cover

This non-fiction hardback, "Games and Full Abstraction for a Functional Metalanguage with Recursive Types" from Guy McCusker, was published 31st May 1998 by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG.

ISBN: 9783540762553

Dimensions: unknown

Weight: unknown

224 pages