6 search results - page 2 / 2 » Polarized and focalized linear and classical proofs |
TLCA
2009
Springer
13 years 12 months ago
2009
Springer
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...