On Small Types in Univalent Foundations.

Tom de Jong Martín Hötzel Escardó

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

cooperative
small number
wide range
pattern recognition
databases
real world
artificial intelligence
multimedia
medium size