Login / Signup
Synchronous Games, Simulations and lambda-calculus
Pierre Hyvernat
Published in:
CoRR (2009)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
higher order
complex objects
program understanding
database
databases