A Lambda Calculus with Letrecs and Barriers.

Arvind Jan-Willem Maessen Rishiyur S. Nikhil Joseph E. Stoy

Published in: FSTTCS (1996)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
complex objects
knowledge base
expert systems
expressive power