Patrick Lincoln, John C. Mitchell, Andre Scedrov. Linear logic proof games and optimization. Bulletin of Symbolic Logic, 2(3):322-338, 1996. [doi]
@article{LincolnMS96,
title = {Linear logic proof games and optimization},
author = {Patrick Lincoln and John C. Mitchell and Andre Scedrov},
year = {1996},
url = {http://www.math.ucla.edu/~asl/bsl/0203/0203-003.ps},
tags = {optimization, C++, logic},
researchr = {https://researchr.org/publication/LincolnMS96},
cites = {0},
citedby = {0},
journal = {Bulletin of Symbolic Logic},
volume = {2},
number = {3},
pages = {322-338},
}