Inproceedings,
A Higher Structure Identity Principle.
B. Ahrens, P. North, M. Shulman, and D. Tsementzis.LICS, page 53-66. ACM, (2020)
Meta data
- BibTeX key
- conf/lics/AhrensNST20
- entry type
- inproceedings
- booktitle
- LICS
- year
- 2020
- pages
- 53-66
- publisher
- ACM
- crossref
- conf/lics/2020
- ee
- https://doi.org/10.1145/3373718.3394755
- isbn
- 978-1-4503-7104-9
- url
- http://dblp.uni-trier.de/db/conf/lics/lics2020.html#AhrensNST20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/lics/AhrensNST20
%A Ahrens, Benedikt
%A North, Paige Randall
%A Shulman, Michael
%A Tsementzis, Dimitris
%B LICS
%D 2020
%E Hermanns, Holger
%E Zhang, Lijun
%E Kobayashi, Naoki
%E Miller, Dale
%I ACM
%K dblp
%P 53-66
%T A Higher Structure Identity Principle.
%U http://dblp.uni-trier.de/db/conf/lics/lics2020.html#AhrensNST20
%@ 978-1-4503-7104-9
@inproceedings{conf/lics/AhrensNST20,
added-at = {2025-07-04T00:00:00.000+0200},
author = {Ahrens, Benedikt and North, Paige Randall and Shulman, Michael and Tsementzis, Dimitris},
biburl = {https://www.bibsonomy.org/bibtex/24483b080566c7cd8a178703d0c937c6c/dblp},
booktitle = {LICS},
crossref = {conf/lics/2020},
editor = {Hermanns, Holger and Zhang, Lijun and Kobayashi, Naoki and Miller, Dale},
ee = {https://doi.org/10.1145/3373718.3394755},
interhash = {870bacda2f20157603cea2aa2f7fd47f},
intrahash = {4483b080566c7cd8a178703d0c937c6c},
isbn = {978-1-4503-7104-9},
keywords = {dblp},
pages = {53-66},
publisher = {ACM},
timestamp = {2025-07-07T08:32:09.000+0200},
title = {A Higher Structure Identity Principle.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2020.html#AhrensNST20},
year = 2020
}