Game Semantics for a Polymorphic Programming Language.

Autor: LAIRD, J.1 jiml@cs.bath.ac.uk
Zdroj: Journal of the ACM. Aug2013, Vol. 60 Issue 4, p1-27. 27p.
Databáze: Business Source Ultimate
Externí odkaz: