Relational Parametricity and Quotient Preservation for Modular (Co)datatypes

Thumbnail
Metadata only
Author
Lochbihler, Andreas
Schneider, Joshuacc
Date
2018
Type
    Conference Paper
Publication status
published
External links
Editor
Avigad, Jeremy
Mahboubi, Assia
Book title
Interactive Theorem Proving: 9th International Conference, ITP 2018, Oxford, UK, July 9-12, 2018, Proceedings
Journal / series
Lecture Notes in Computer Science
Volume
10895
Pages / Article No.
411 - 431
Publisher
Springer
Event
9th International Conference on Interactive Theorem Proving (ITP 2018), Oxford, United Kingdom, July 9-12, 2018
Organisational unit
03634 - Basin, David / Basin, David  
Related publications and datasets
More
Show all metadata
ETH Bibliography
yes
Altmetrics