Identity and intensionality in Univalent Foundations and philosophy.

Published in: Synth. (2021)

Keyphrases

artificial intelligence
cognitive science
identity management
data structure
database
databases
cooperative
digital libraries
lower bound
special case
probabilistic model