Two set-based implementations of quotients in type theory.

Niccolò Veltri

Published in: SPLST (2015)

Keyphrases

theoretical basis
decision trees
lower bound
theoretical framework
multiscale
user defined
efficient implementation
initial set