Completeness of intersection and union type assignment systems for call-by-value lambda-models.

Hajime Ishihara Toshihiko Kurata

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

Keyphrases

complex systems
management system
mathematical models
statistical models
learning systems
distributed systems
abstraction levels
model selection
analytical models
artificial intelligence
physical systems
computing systems
computational models
parameter estimation
computer systems
probabilistic model
decision trees