Publisher： Cambridge University Press
E-ISSN： 1755-0211|10|3|481-508
ISSN： 1755-0203
Source： Review of Symbolic Logic, Vol.10, Iss.3, 2017-03, pp. : 481-508
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Access to resources
Recommend
Linear Logic Proof Games and Optimization
Bulletin of Symbolic Logic, Vol. 2, Iss. 3, 1996-09 ,pp. :
Bulletin of the Australian Mathematical Society, Vol. 48, Iss. 1, 1993-08 ,pp. :
Games and full completeness for multiplicative linear logic
The Journal of Symbolic Logic, Vol. 59, Iss. 2, 1994-06 ,pp. :
Reducibilities in two models for combinatory logic
The Journal of Symbolic Logic, Vol. 44, Iss. 2, 1979-06 ,pp. :