Full Abstraction for a Recursively Typed Lambda Calculus with Parallel Conditional

Published in: CoRR (2008)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
program understanding
database query languages
high level
data abstraction
expert systems
pairwise
software engineering
complex objects