Church's Lambda Delta Calculus.

Richard Statman

Published in: LPAR (2000)

Keyphrases

lambda calculus
fixed point
automated deduction
computer algebra
programming language
machine learning
web services
data structure
fuzzy logic
algebraic structure
provably correct
database query languages
timed automata