Guy McCusker Forfatter
Visning: Type : Alle | Sprog : Alle | Format : Alle
Viser 1 - 1 af 1 resultat
-
Games and Full Abstraction for a Functional Metalanguage with Recursive Types (Bog, Hardback, Engelsk)
This work develops a theory of game semantics, a setting for modelling and reasoning about sequential programming languages,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
Viser 1 - 1 af 1 resultat