Universal Algebra in UniMath.

Gianluca Amato Marco Maggesi Cosimo Perini Brogi

Published in: CoRR (2021)

Keyphrases

query language
algebraic expressions
relational algebra
algebraic geometry
sequence prediction
computer vision
website
data model
fuzzy sets
algebraic structure
boolean algebra