Special issue on homotopy type theory 2019.

Dan Licata Peter LeFanu Lumsdaine

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

Keyphrases

special issue
international journal
ai edam
ecml pkdd
applied intelligence
theoretical framework
theoretical basis
neural network
special section