ASMs and Operational Algorithmic Completeness of Lambda Calculus.

Marie Ferbus-Zanda Serge Grigorieff

Published in: Fields of Logic and Computation (2010)

Keyphrases

lambda calculus
programming language
active shape model
predicate calculus
program understanding
data quality
database query languages
object oriented
higher order
complex objects
formal model
query language
general purpose
first order logic