Differential Logical Relations, Part I: The Simply-Typed Case (Long Version).

Ugo Dal Lago Francesco Gavazzo Akira Yoshimizu

Published in: CoRR (2019)

Keyphrases

lambda calculus
higher order
image sequences
data structure
logical structure
database
data sets
real world
data mining
search engine
decision making
multiscale
background knowledge
semantic relations