ASMs and Operational Algorithmic Completeness of Lambda Calculus

Marie Ferbus-Zanda Serge Grigorieff

Published in: CoRR (2010)

Keyphrases

lambda calculus
programming language
predicate calculus
active shape model
database query languages
higher order
program understanding
databases
high level
natural language
complex objects