Inproceedings,
Semantics for two-dimensional type theory.
B. Ahrens, P. North, and N. van der Weide.LICS, page 12:1-12:14. ACM, (2022)
Meta data
- BibTeX key
- conf/lics/AhrensNW22
- entry type
- inproceedings
- booktitle
- LICS
- year
- 2022
- pages
- 12:1-12:14
- publisher
- ACM
- crossref
- conf/lics/2022
- ee
- https://doi.org/10.1145/3531130.3533334
- isbn
- 978-1-4503-9351-5
- url
- http://dblp.uni-trier.de/db/conf/lics/lics2022.html#AhrensNW22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/lics/AhrensNW22
%A Ahrens, Benedikt
%A North, Paige Randall
%A van der Weide, Niels
%B LICS
%D 2022
%E Baier, Christel
%E Fisman, Dana
%I ACM
%K dblp
%P 12:1-12:14
%T Semantics for two-dimensional type theory.
%U http://dblp.uni-trier.de/db/conf/lics/lics2022.html#AhrensNW22
%@ 978-1-4503-9351-5
@inproceedings{conf/lics/AhrensNW22,
added-at = {2023-03-21T00:00:00.000+0100},
author = {Ahrens, Benedikt and North, Paige Randall and van der Weide, Niels},
biburl = {https://www.bibsonomy.org/bibtex/22ce1174afa7b1c605be1bb2e5eba1d72/dblp},
booktitle = {LICS},
crossref = {conf/lics/2022},
editor = {Baier, Christel and Fisman, Dana},
ee = {https://doi.org/10.1145/3531130.3533334},
interhash = {d530518ffa6f03427bfdf3194f86a102},
intrahash = {2ce1174afa7b1c605be1bb2e5eba1d72},
isbn = {978-1-4503-9351-5},
keywords = {dblp},
pages = {12:1-12:14},
publisher = {ACM},
timestamp = {2024-04-09T13:16:55.000+0200},
title = {Semantics for two-dimensional type theory.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2022.html#AhrensNW22},
year = 2022
}