Intersection Types and Topologies and Lambda Calculus.

Silvia Ghilezan

Published in: ICALP Satellite Workshops (2000)

Keyphrases

lambda calculus
programming language
predicate calculus
databases
artificial intelligence
data model
database management systems
semantic network