Complete Restrictions of the Intersection Type Discipline.

Steffen van Bakel

Published in: Theor. Comput. Sci. (1992)

Keyphrases

information systems
software engineering
computer science
database
case study
information technology
neural network
information retrieval
search engine
computer vision
decision trees
three dimensional
traffic light