Login / Signup
A Complete Characterization of the Complete Intersection-Type Theories.
Mariangiola Dezani-Ciancaglini
Furio Honsell
Fabio Alessi
Published in:
ICALP Satellite Workshops (2000)
Keyphrases
</>
domain knowledge
formal models
database
data sets
image processing
three dimensional
high level
multiscale
evolutionary algorithm
design theory