Login / Signup
Synchronous games, simulations and lambda-calculus.
Pierre Hyvernat
Published in:
GALOP@ETAPS (2005)
Keyphrases
</>
lambda calculus
programming language
database query languages
predicate calculus
higher order
program understanding
artificial intelligence
first order logic