The Typed lambda-Calculus with First-Class Processes.

Flemming Nielson

Published in: PARLE (2) (1989)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
database query languages
complex objects
program understanding
high level
general purpose
first order logic