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

Michael Rathjen

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

Keyphrases

theoretical framework
general theory
theoretical basis
neural network
multimedia
gray level
mathematical foundations