Canonicity for 2-dimensional type theory.

Daniel R. Licata Robert Harper

Published in: POPL (2012)

Keyphrases

theoretical basis
computational model
data sets
real time
machine learning
artificial intelligence
database systems
multi agent
cooperative
search algorithm
multiresolution
multi dimensional
theoretical framework
theoretical foundation
general theory