Martin Hofmann's contributions to type theory: Groupoids and univalence.

Thorsten Altenkirch

Published in: Math. Struct. Comput. Sci. (2021)

Keyphrases

theoretical basis
databases
theoretical foundation
general theory
artificial intelligence
theoretical framework
database
real time
neural network
cooperative
special case
mobile robot