Formalizing two-level type theory with cofibrant exo-nat.

Elif Üsküplü

Published in: CoRR (2023)

Keyphrases

real time
website
theoretical basis
web pages
support vector
multi agent systems
preprocessing
computational model
information theory
general theory