Inproceedings,
Multimodal Dependent Type Theory.
D. Gratzer, G. Kavvos, A. Nuyts, and L. Birkedal.LICS, page 492-506. ACM, (2020)
Meta data
- BibTeX key
- conf/lics/GratzerKNB20
- entry type
- inproceedings
- booktitle
- LICS
- year
- 2020
- pages
- 492-506
- publisher
- ACM
- crossref
- conf/lics/2020
- ee
- https://doi.org/10.1145/3373718.3394736
- isbn
- 978-1-4503-7104-9
- url
- http://dblp.uni-trier.de/db/conf/lics/lics2020.html#GratzerKNB20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/lics/GratzerKNB20
%A Gratzer, Daniel
%A Kavvos, G. A.
%A Nuyts, Andreas
%A Birkedal, Lars
%B LICS
%D 2020
%E Hermanns, Holger
%E Zhang, Lijun
%E Kobayashi, Naoki
%E Miller, Dale
%I ACM
%K dblp
%P 492-506
%T Multimodal Dependent Type Theory.
%U http://dblp.uni-trier.de/db/conf/lics/lics2020.html#GratzerKNB20
%@ 978-1-4503-7104-9
@inproceedings{conf/lics/GratzerKNB20,
added-at = {2022-01-03T00:00:00.000+0100},
author = {Gratzer, Daniel and Kavvos, G. A. and Nuyts, Andreas and Birkedal, Lars},
biburl = {https://www.bibsonomy.org/bibtex/2600cf9a8a0454c01ded4289e9de3914d/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.3394736},
interhash = {2cdd08509e9af63d2997b0c11d66ba8c},
intrahash = {600cf9a8a0454c01ded4289e9de3914d},
isbn = {978-1-4503-7104-9},
keywords = {dblp},
pages = {492-506},
publisher = {ACM},
timestamp = {2024-04-09T13:16:48.000+0200},
title = {Multimodal Dependent Type Theory.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2020.html#GratzerKNB20},
year = 2020
}