Login / Signup
CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping.
Erik Poll
C. Hemerik
Huub M. M. ten Eikelder
Published in:
RAIRO Theor. Informatics Appl. (1993)
Keyphrases
</>
lambda calculus
database systems
expert systems
software development
expressive power
relational algebra
program understanding