The strength of Martin-Löf type theory with a superuniverse. Part I.

Michael Rathjen

Published in: Arch. Math. Log. (2000)

Keyphrases

theoretical basis
formal theory
data sets
information theory
type checking
learning algorithm
e learning
user interface
computational model
decision theory
table of contents