Intuitionistic Model Constructions and Normalization Proofs.

Thierry Coquand Peter Dybjer

Published in: Math. Struct. Comput. Sci. (1997)

Keyphrases

probabilistic model
computational model
high level
management system
theoretical analysis
mathematical model
multiscale
experimental data
expert systems
knowledge representation
parameter estimation
statistical model
conceptual model
theorem prover