Errata to "Martin-Löf's Type Theory as an Open-Ended Framework".

Yasuyuki Tsukada

Published in: Int. J. Found. Comput. Sci. (2001)

Keyphrases

open ended
theoretical framework
conceptual framework
theoretical foundation
probabilistic model
learning outcomes
mathematical framework