Login / Signup
Continuous normalization for the lambda-calculus and Gödel's.
Klaus Aehlig
Felix Joachimski
Published in:
Ann. Pure Appl. Log. (2005)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
higher order
database
data streams
expert systems
general purpose
software development
formal model
database query languages