A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory.

Reynald Affeldt Jacques Garrigue Takafumi Saikawa

Published in: CoRR (2023)

Keyphrases

theoretical basis
mathematical foundations
formal theory
theoretical framework
formal model
theoretical developments
database
databases
real world
data mining
theoretical foundation
practical application