Dependent Type Theory as Related to the Bourbaki Notions of Structure and Isomorphism.

David McAllester

Published in: CoRR (2021)

Keyphrases

data mining
website
theoretical framework
real time
genetic algorithm
image sequences
data structure
expert systems
hierarchical structure