Login / Signup
Linearization of the lambda-calculus and its relation with intersection type systems.
Mário Florido
Luís Damas
Published in:
J. Funct. Program. (2004)
Keyphrases
</>
lambda calculus
management system
distributed systems
database
knowledge base
database systems