Abstract Games for Linear Logic.

Martin Hyland Andrea Schalk

Published in: CTCS (1999)

Keyphrases

linear logic
fixed point
logic programming
sequent calculus
cut elimination
desirable properties
proof theoretic
proof search
logical framework
video games
intuitionistic logic
educational games
computer games
nash equilibrium
pairwise
game theory
higher order
high level