Type Theory with Explicit Universe Polymorphism.

Marc Bezem Thierry Coquand Peter Dybjer Martín Escardó

Published in: TYPES (2022)

Keyphrases

theoretical framework
general theory
database programming language
machine learning
computational model
databases
feature selection
e learning
image processing
case study
learning environment
expert systems
programming language
theoretical foundation
decision theory
formal theory