F-Semantics for Intersection Type Discipline.

Mariangiola Dezani-Ciancaglini Ines Margaria

Published in: Semantics of Data Types (1984)

Keyphrases

information systems
computer science
formal semantics
computer vision
semantic web
database
real time
databases
real world
information retrieval
software engineering
multiple types
semantic representation