C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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