The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.

Michael Rathjen

Published in: Synth. (2005)

Keyphrases

theoretical framework
data model
object oriented
data sets
feature selection
case study
theoretical foundation
computer programs
programming environment
program execution