A game-semantic model of computation
Crossref DOI link: https://doi.org/10.1007/s40687-018-0163-z
Published Online: 2018-11-12
Published Print: 2019-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Yamada, Norihiro https://orcid.org/0000-0003-1253-8943
Funding for this research was provided by:
University of Oxford
Text and Data Mining valid from 2018-11-12
Article History
Received: 24 November 2017
Accepted: 29 September 2018
First Online: 12 November 2018