Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus.

Samson Abramsky Marina Lenisa

Published in: CSL (2001)

Keyphrases

lambda calculus
artificial intelligence
programming language
program understanding
high level
pairwise
co occurrence
user defined
relational algebra
database query languages