@inproceedings{Harmer_2007,
    doi = {10.1109/lics.2007.14},
    url = {https://doi.org/10.1109%2Flics.2007.14},
    year = {2007},
    publisher = {{IEEE}},
    author = {Russ Harmer and Martin Hyland and Paul-Andre Mellies},
    title = {Categorical Combinatorics for Innocent Strategies},
    booktitle = {22nd Annual {IEEE} Symposium on Logic in Computer Science ({LICS} 2007)}
}

@inproceedings{Harmer_2007, doi = {10.1109/lics.2007.14}, url = {https://doi.org/10.1109%2Flics.2007.14}, year = {2007}, publisher = {{IEEE}}, author = {Russ Harmer and Martin Hyland and Paul-Andre Mellies}, title = {Categorical Combinatorics for Innocent Strategies}, booktitle = {22nd Annual {IEEE} Symposium on Logic in Computer Science ({LICS} 2007)} }