Solvability in Resource Lambda-Calculus.

Michele Pagani Simona Ronchi Della Rocca

Published in: FoSSaCS (2010)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
object oriented
higher order
complex objects
database
artificial intelligence
general purpose