Strict universes for Grothendieck topoi.

Daniel Gratzer Michael Shulman Jonathan Sterling

Published in: CoRR (2022)

Keyphrases

artificial intelligence
computer simulation
database
real time
data mining
natural language
response time