Recognizability in the Simply Typed Lambda-Calculus.

Sylvain Salvati

Published in: WoLLIC (2009)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
higher order
object oriented
general purpose
relational algebra
reverse engineering