Approximation Theorems for Intersection Type Systems.

Mariangiola Dezani-Ciancaglini Furio Honsell Yoko Motohama

Published in: J. Log. Comput. (2001)

Keyphrases

intelligent systems
management system
case study
natural language
expert systems
information retrieval systems
artificial intelligence
search engine
computer vision
image processing
website
special case
distributed systems
error bounds
computing systems
systems require