Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/lics/BasoldG16
%A Basold, Henning
%A Geuvers, Herman
%B LICS
%D 2016
%E Grohe, Martin
%E Koskinen, Eric
%E Shankar, Natarajan
%I ACM
%K dblp
%P 327-336
%T Type Theory based on Dependent Inductive and Coinductive Types.
%U http://dblp.uni-trier.de/db/conf/lics/lics2016.html#BasoldG16
%@ 978-1-4503-4391-6
@inproceedings{conf/lics/BasoldG16,
added-at = {2018-12-21T00:00:00.000+0100},
author = {Basold, Henning and Geuvers, Herman},
biburl = {https://www.bibsonomy.org/bibtex/2dc8f85ac019b570a7c637b4d4180fedd/dblp},
booktitle = {LICS},
crossref = {conf/lics/2016},
editor = {Grohe, Martin and Koskinen, Eric and Shankar, Natarajan},
ee = {http://ieeexplore.ieee.org/document/8576393},
interhash = {6b84dd52e403ceb03f06cac8fa3e4efb},
intrahash = {dc8f85ac019b570a7c637b4d4180fedd},
isbn = {978-1-4503-4391-6},
keywords = {dblp},
pages = {327-336},
publisher = {ACM},
timestamp = {2019-10-17T15:58:41.000+0200},
title = {Type Theory based on Dependent Inductive and Coinductive Types.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2016.html#BasoldG16},
year = 2016
}