%0 Conference Paper %1 conf/tlca/KrausECA13 %A Kraus, Nicolai %A Escardó, Martín Hötzel %A Coquand, Thierry %A Altenkirch, Thorsten %B TLCA %D 2013 %E Hasegawa, Masahito %I Springer %K dblp %P 173-188 %T Generalizations of Hedberg's Theorem. %U http://dblp.uni-trier.de/db/conf/tlca/tlca2013.html#KrausECA13 %V 7941 %@ 978-3-642-38946-7

@inproceedings{conf/tlca/KrausECA13, added-at = {2019-06-02T00:00:00.000+0200}, author = {Kraus, Nicolai and Escardó, Martín Hötzel and Coquand, Thierry and Altenkirch, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/2d90e526f4197270ed49bb22074838aaa/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/2013}, editor = {Hasegawa, Masahito}, ee = {https://www.wikidata.org/entity/Q61583728}, interhash = {b52571d21bf6b78e98ba392f4164129c}, intrahash = {d90e526f4197270ed49bb22074838aaa}, isbn = {978-3-642-38946-7}, keywords = {dblp}, pages = {173-188}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:50:55.000+0200}, title = {Generalizations of Hedberg's Theorem.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca2013.html#KrausECA13}, volume = 7941, year = 2013 }