scientific article; zbMATH DE number 1948179
From MaRDI portal
Publication:4411840
zbMath1020.03060MaRDI QIDQ4411840
Claudia Faggian, J. M. E. Hyland
Publication date: 10 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710442.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of game theory (91A80) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05)
Related Items (9)
Polarized games ⋮ Jump from parallel to sequential proofs: exponentials ⋮ An approach to innocent strategies as graphs ⋮ Proof and refutation in MALL as a game ⋮ Totality in arena games ⋮ Computational ludics ⋮ Towards Ludics Programming: Interactive Proof Search ⋮ Unnamed Item ⋮ Interactive observability in Ludics: the geometry of tests
This page was built for publication:
