Two-level type theory and applications.

Danil Annenkov Paolo Capriotti Nicolai Kraus Christian Sattler

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

Keyphrases

similarity measure
multiscale
theoretical framework
data model
special case
real world
artificial intelligence
e learning
case study
objective function
trade off
information theory
theoretical basis
probability theory
formal theory