Title
Differential Logical Relations, Part I - The Simply-Typed Case.
Year
DOI
Venue
2019
10.4230/LIPIcs.ICALP.2019.111
ICALP
Field
DocType
Citations 
Discrete mathematics,Logical relations,Algebra,Computer science
Conference
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Ugo Dal Lago156560.42
Francesco Gavazzo202.70
Akira Yoshimizu3184.15