A Reflection Principle for Potential Infinite Models of Type Theory.

Published in: TYPES (2023)

Keyphrases

complex systems
probabilistic model
computational models
theoretical basis
theoretical models
data sets
databases
real world
case study
mathematical models
empirical data
formal models
information retrieval
decision making
computational model
mathematical framework