Domain Interpretations of Martin-Löf's Partial Type Theory.

Erik Palmgren Viggo Stoltenberg-Hansen

Published in: Ann. Pure Appl. Log. (1990)

Keyphrases

domain experts
neural network
real world
information systems
theoretical framework
learning algorithm
domain specific
domain independent
theoretical foundation
conceptual framework
decision theory
action theories
formal theory