Proof-relevant Category Theory in Agda.

Jason Z. S. Hu Jacques Carette

Published in: CoRR (2020)

Keyphrases

data sets
closely related
genetic algorithm
knowledge base
video sequences
theoretical framework
data structure
computer algebra