Differential Logical Relations, Part I: The Simply-Typed Case.

Ugo Dal Lago Francesco Gavazzo Akira Yoshimizu

Published in: ICALP (2019)

Keyphrases

lambda calculus
logical structure
data sets
machine learning
metadata
case study
multiscale
multi agent
knowledge representation
natural language processing
table of contents