A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping.

Alexandre Miquel

Published in: LICS (2000)

Keyphrases

management system
probabilistic model
computational model
mathematical model
image segmentation
high level
statistical model
object model
real time
artificial intelligence
case study
distributed systems
knowledge based systems
parameter estimation
complex systems
model based diagnosis