Type theory comes of age.

Published in: Commun. ACM (2010)

Keyphrases

theoretical framework
theoretical basis
conceptual framework
formal theory
machine learning
decision making
wide range
natural language
computational model