Large model constructions for second-order ZF in dependent type theory.

Dominik Kirst Gert Smolka

Published in: CPP (2018)

Keyphrases

computational model
formal model
high level
theoretical foundation
statistical model
probability distribution
management system
mathematical model
computational models
theoretical framework
conceptual model
conceptual framework
database
neural network model
objective function
similarity measure
data sets
real time