Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/types/types2019.bht:"
download as .bib file
@proceedings{DBLP:conf/types/2019,
editor = {Marc Bezem and
Assia Mahboubi},
title = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-158-0},
isbn = {978-3-95977-158-0},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/types/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/AltenkirchG19,
author = {Thorsten Altenkirch and
Colin Geniet},
editor = {Marc Bezem and
Assia Mahboubi},
title = {Big Step Normalisation for Type Theory},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {4:1--4:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.4},
doi = {10.4230/LIPICS.TYPES.2019.4},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/AltenkirchG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/AlvesKV19,
author = {Sandra Alves and
Delia Kesner and
Daniel Ventura},
editor = {Marc Bezem and
Assia Mahboubi},
title = {A Quantitative Understanding of Pattern Matching},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {3:1--3:36},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.3},
doi = {10.4230/LIPICS.TYPES.2019.3},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/AlvesKV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Cockx19,
author = {Jesper Cockx},
editor = {Marc Bezem and
Assia Mahboubi},
title = {Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {2:1--2:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.2},
doi = {10.4230/LIPICS.TYPES.2019.2},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Cockx19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Danielsson19,
author = {Nils Anders Danielsson},
editor = {Marc Bezem and
Assia Mahboubi},
title = {Higher Inductive Type Eliminators Without Paths},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {10:1--10:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.10},
doi = {10.4230/LIPICS.TYPES.2019.10},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Danielsson19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/KaposiKL19,
author = {Ambrus Kaposi and
Andr{\'{a}}s Kov{\'{a}}cs and
Ambroise Lafont},
editor = {Marc Bezem and
Assia Mahboubi},
title = {For Finitary Induction-Induction, Induction Is Enough},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {6:1--6:30},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.6},
doi = {10.4230/LIPICS.TYPES.2019.6},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/KaposiKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/KohlhaseRW19,
author = {Michael Kohlhase and
Florian Rabe and
Makarius Wenzel},
editor = {Marc Bezem and
Assia Mahboubi},
title = {Making Isabelle Content Accessible in Knowledge Representation Formats},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {1:1--1:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.1},
doi = {10.4230/LIPICS.TYPES.2019.1},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/KohlhaseRW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Kravchuk-Kirilyuk19,
author = {Anastasiya Kravchuk{-}Kirilyuk and
Antoine Voizard and
Stephanie Weirich},
editor = {Marc Bezem and
Assia Mahboubi},
title = {Eta-Equivalence in Core Dependent Haskell},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {7:1--7:31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.7},
doi = {10.4230/LIPICS.TYPES.2019.7},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Kravchuk-Kirilyuk19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/MonnierB19,
author = {Stefan Monnier and
Nathaniel Bos},
editor = {Marc Bezem and
Assia Mahboubi},
title = {Is Impredicativity Implicitly Implicit?},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {9:1--9:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.9},
doi = {10.4230/LIPICS.TYPES.2019.9},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/MonnierB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Piceghello19,
author = {Stefano Piceghello},
editor = {Marc Bezem and
Assia Mahboubi},
title = {Coherence for Monoidal Groupoids in HoTT},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {8:1--8:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.8},
doi = {10.4230/LIPICS.TYPES.2019.8},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Piceghello19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/PinyoK19,
author = {Gun Pinyo and
Nicolai Kraus},
editor = {Marc Bezem and
Assia Mahboubi},
title = {From Cubes to Twisted Cubes via Graph Morphisms in Type Theory},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {5:1--5:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.5},
doi = {10.4230/LIPICS.TYPES.2019.5},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/PinyoK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/X19,
editor = {Marc Bezem and
Assia Mahboubi},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {0:1--0:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.0},
doi = {10.4230/LIPICS.TYPES.2019.0},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/X19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-30 13:57 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
