lambda mu - Calculus and Böhm's Theorem.

René David Walter Py

Published in: J. Symb. Log. (2001)

Keyphrases

lambda calculus
development environment
von neumann
database query languages
digital topology
real time
genetic algorithm
data sets
learning algorithm
artificial intelligence
computer vision
case study
database systems
automated deduction
sequent calculus