The Interval Domain in Homotopy Type Theory.

Niels van der Weide Dan Frumin

Published in: Logics and Type Systems in Theory and Practice (2024)

Keyphrases

theoretical framework
domain independent
domain specific
databases
information theory
fixed point
website
domain models
reinforcement learning
training data
computational model
e learning
information retrieval
theoretical foundation
data sets
conceptual framework
belief functions
real numbers