Login / Signup
Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
Antonio Bucciarelli
Alberto Carraro
Thomas Ehrhard
Giulio Manzonetto
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
high level
database query languages
data abstraction
databases
database systems
general purpose
program understanding