Special issue on homotopy type theory 2019 vol. 2.

Dan Licata Peter LeFanu Lumsdaine

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

Keyphrases

special issue
ai edam
applied intelligence
ecml pkdd
international journal
special section
theoretical framework
artificial intelligence
general theory
neural network
decision making
multi agent systems
expert systems
signal processing
petri net
fixed point