Games in the semantics of programming languages

an elementary introduction

Jan Jürjens

pp. 131-158


This document is unfortunately not available for download at the moment.

Not implemented yet !