2-Dimensional Directed Type Theory.

Daniel R. Licata Robert Harper

Published in: MFPS (2011)

Keyphrases

artificial intelligence
expert systems
theoretical basis
real time
special case
multi dimensional
real world
information systems
knowledge base
decision trees
theoretical framework
belief functions
probability theory