Login / Signup
Interaction Systems and Linear Logic, a different games semantics
Pierre Hyvernat
Published in:
CoRR (2009)
Keyphrases
</>
linear logic
logical framework
video games
fixed point
proof theoretic
intuitionistic logic