Combining the typed lambda-calculus with CCS.

William Ferreira Matthew Hennessy Alan Jeffrey

Published in: Proof, Language, and Interaction (2000)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
program understanding
database query languages
complex objects
data structure
expert systems