Show simple item record

Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory

dc.contributor.authorNuyts, Andreas
dc.contributor.authorDevriese, Dominique
dc.date.accessioned2021-10-26T00:16:00Z
dc.date.available2021-10-26T00:16:00Z
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/31431
dc.sourceIIOimport
dc.titleDegrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpage779
dc.source.endpage788
dc.source.conferenceLICS '18 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
dc.source.conferencedate9/07/2018
dc.source.conferencelocationOxford UK
dc.identifier.urlhttps://doi.org/10.1145/3209108.3209119
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
42476.pdf
Size:
913.2Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record