Dale Miller, Alexis Saurin. A game semantics for proof search: preliminary results. 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 92-106, 2005.
@inproceedings{MillerS05,
title = {A game semantics for proof search: preliminary results},
author = {Dale Miller and Alexis Saurin},
year = {2005},
tags = {semantics, search},
researchr = {https://researchr.org/publication/MillerS05},
cites = {0},
citedby = {0},
pages = {92-106},
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},
}