Pierre Hyvernat. Synchronous games, simulations and lambda-calculus. In Dan R. Ghica, Guy McCusker, editors, Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference. pages 1-15, 2005.
@inproceedings{Hyvernat05, title = {Synchronous games, simulations and lambda-calculus}, author = {Pierre Hyvernat}, year = {2005}, researchr = {https://researchr.org/publication/Hyvernat05}, cites = {0}, citedby = {0}, pages = {1-15}, booktitle = {Games for Logic and Programming Languages (GALOP 2005), University of Edinburgh, 2-3 April 2005, The workshop was organized as part of the ETAPS Conference}, editor = {Dan R. Ghica and Guy McCusker}, }