Algorithmic nominal game semantics A. S. Murawski⋆ and N. Tzevelekos⋆⋆ 1 Department of Computer Science, University of Leicester University Road, Leicester LE1 7RH, UK - Murawski - Document - PDFSEARCH.IO

First Page	Meta Content
	Algorithmic nominal game semantics A. S. Murawski⋆ and N. Tzevelekos⋆⋆ 1 Department of Computer Science, University of Leicester University Road, Leicester LE1 7RH, UK Add to Reading List Document Date: 2011-01-18 19:24:34 Open Document File Size: 284,29 KB Share Result on Facebook

Algorithmic nominal game semantics A. S. Murawski⋆ and N. Tzevelekos⋆⋆ 1 Department of Computer Science, University of Leicester University Road, Leicester LE1 7RH, UKAdd to Reading List