Sciweavers

CORR
2010
Springer
113views Education» more  CORR 2010»
14 years 17 days ago
Game semantics for first-order logic
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...
Olivier Laurent