Formalising Yoneda Ext in Univalent Foundations.

Jarl G. Taxerås Flaten

Published in: ITP (2023)

Keyphrases

file system
artificial intelligence
object oriented
real world
software engineering
data model