A game semantics for linear logic
- 29 April 1992
- journal article
- Published by Elsevier in Annals of Pure and Applied Logic
- Vol. 56 (1-3) , 183-220
- https://doi.org/10.1016/0168-0072(92)90073-9
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Linear logicTheoretical Computer Science, 1987
- Method for constructing bijections for classical partition identitiesProceedings of the National Academy of Sciences, 1981
- Degrees of indeterminacy of gamesFundamenta Mathematicae, 1972
- Dialogspiele als Semantische Grundlage von LogikkalkülenArchive for Mathematical Logic, 1968
- Dialogspiele als Semantische Grundlage von LogikkalkülenArchive for Mathematical Logic, 1968
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958
- Free LatticesAnnals of Mathematics, 1941