Politeness for the Theory of Algebraic Datatypes.

Ying Sheng Yoni Zohar Christophe Ringeissen Jane Lange Pascal Fontaine Clark W. Barrett

Published in: CoRR (2020)

Keyphrases

data types
theoretical framework
algebraic geometry
data structure
linear algebra
database
computer algebra
case study
similarity measure
computational model
theoretical basis
neural network
genetic algorithm
data model
formal theory
algebraic structure