Type Theories with Universe Level Judgements.

Marc Bezem Thierry Coquand Peter Dybjer Martín Escardó

Published in: CoRR (2022)

Keyphrases

theoretical framework
information systems
image sequences
lower level
levels of abstraction
database
genetic algorithm
image processing
website
decision trees
pairwise
low level
higher level
computational model