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

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Ugo Dal Lago, Francesco Gavazzo, Akira Yoshimizu

Journal title: Proceedings of ICALP 2019, 46th International Colloquium on Automata, Languages, and Programming

Journal number: 132

Journal publisher: Schloss Dagstuhl, Leibniz-Zentrum fuer Informatik

Published year: 2019

Published pages: 111:1-111:14

DOI identifier: 10.4230/lipics.icalp.2019.111

ISBN: 9783959771092