default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/types/types2022.bht:"
download as .bib file
@proceedings{DBLP:conf/types/2022,
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-285-3},
isbn = {978-3-95977-285-3},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/AltenkirchKSV22,
author = {Thorsten Altenkirch and
Ambrus Kaposi and
Artjoms Sinkarovs and
Tam{\'{a}}s V{\'{e}}gh},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {The M{\"{u}}nchhausen Method in Type Theory},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {10:1--10:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.10},
doi = {10.4230/LIPICS.TYPES.2022.10},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/types/AltenkirchKSV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BezemCDE22,
author = {Marc Bezem and
Thierry Coquand and
Peter Dybjer and
Mart{\'{\i}}n Escard{\'{o}}},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {Type Theory with Explicit Universe Polymorphism},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {13:1--13:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.13},
doi = {10.4230/LIPICS.TYPES.2022.13},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/BezemCDE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/BradleyL22,
author = {Felix Bradley and
Zhaohui Luo},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {A Metatheoretic Analysis of Subtype Universes},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {9:1--9:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.9},
doi = {10.4230/LIPICS.TYPES.2022.9},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/BradleyL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/ColledanL22,
author = {Andrea Colledan and
Ugo Dal Lago},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {On Dynamic Lifting and Effect Typing in Circuit Description Languages},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {3:1--3:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.3},
doi = {10.4230/LIPICS.TYPES.2022.3},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/ColledanL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/DuboisMG22,
author = {Catherine Dubois and
Nicolas Magaud and
Alain Giorgetti},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {Pragmatic Isomorphism Proofs Between Coq Representations: Application
to Lambda-Term Families},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {11:1--11:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.11},
doi = {10.4230/LIPICS.TYPES.2022.11},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/DuboisMG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/GeuversH22,
author = {Herman Geuvers and
Tonny Hurkens},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {Classical Natural Deduction from Truth Tables},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {2:1--2:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.2},
doi = {10.4230/LIPICS.TYPES.2022.2},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/GeuversH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Grienenberger22,
author = {{\'{E}}milie Grienenberger},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {Expressing Ecumenical Systems in the {\(\lambda\)}{\(\Pi\)}-Calculus
Modulo Theory},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {4:1--4:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.4},
doi = {10.4230/LIPICS.TYPES.2022.4},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Grienenberger22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/LedeinBD22,
author = {Am{\'{e}}lie Ledein and
Valentin Blot and
Catherine Dubois},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {A Semantics of {\(\mathbb{K}\)} into Dedukti},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {12:1--12:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.12},
doi = {10.4230/LIPICS.TYPES.2022.12},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/LedeinBD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Mull22,
author = {Nathan Mull},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {An Irrelevancy-Eliminating Translation of Pure Type Systems},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {7:1--7:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.7},
doi = {10.4230/LIPICS.TYPES.2022.7},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Mull22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Mulligan22,
author = {Dominic P. Mulligan},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {All Watched Over by Machines of Loving Grace},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {1:1--1:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.1},
doi = {10.4230/LIPICS.TYPES.2022.1},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Mulligan22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/Padovani22,
author = {Luca Padovani},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {On the Fair Termination of Client-Server Sessions},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {5:1--5:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.5},
doi = {10.4230/LIPICS.TYPES.2022.5},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/Padovani22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/ReisAF22,
author = {F{\'{a}}bio Reis and
Sandra Alves and
M{\'{a}}rio Florido},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {Linear Rank Intersection Types},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {8:1--8:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.8},
doi = {10.4230/LIPICS.TYPES.2022.8},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/types/ReisAF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/StassenGB22,
author = {Philipp Stassen and
Daniel Gratzer and
Lars Birkedal},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {\{mitten\}: {A} Flexible Multimodal Proof Assistant},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {6:1--6:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.6},
doi = {10.4230/LIPICS.TYPES.2022.6},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/StassenGB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/WullaertMA22,
author = {Kobe Wullaert and
Ralph Matthes and
Benedikt Ahrens},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {Univalent Monoidal Categories},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {15:1--15:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.15},
doi = {10.4230/LIPICS.TYPES.2022.15},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/WullaertMA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/X22,
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {0:1--0:8},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.0},
doi = {10.4230/LIPICS.TYPES.2022.0},
timestamp = {Mon, 31 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/X22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/ZeunerM22,
author = {Max Zeuner and
Anders M{\"{o}}rtberg},
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {A Univalent Formalization of Constructive Affine Schemes},
booktitle = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
pages = {14:1--14:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2022.14},
doi = {10.4230/LIPICS.TYPES.2022.14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/types/ZeunerM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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 2025-01-20 19:02 CET 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:
