Impredicative Observational Equality.

Loïc Pujet Nicolas Tabareau

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

fixpoint
data mining
computer vision
causal inference
database
databases
multiscale
special case
hidden markov models
query language
logic programs
function symbols