On Computational Open-Endedness in Martin-Löf's Type Theory

Douglas J. Howe

Published in: LICS (1991)

Keyphrases

theoretical framework
theoretical basis
decision making
computational models
neural network
three dimensional
databases
objective function
wide range
computational model
theoretical foundation
mathematical programming
formal theory
quantum mechanics