Search dblp for Publications

export results for "toc:db/conf/types/types2023.bht:"

 download as .bib file

@proceedings{DBLP:conf/types/2023,
  editor       = {Delia Kesner and
                  Eduardo Hermo Reyes and
                  Benno van den Berg},
  title        = {29th International Conference on Types for Proofs and Programs, {TYPES}
                  2023, June 12-16, 2023, ETSInf, Universitat Polit{\`{e}}cnica de Val{\`{e}}ncia,
                  Spain},
  series       = {LIPIcs},
  volume       = {303},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2024},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-332-4},
  isbn         = {978-3-95977-332-4},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/CeulemansND23,
  author       = {Joris Ceulemans and
                  Andreas Nuyts and
                  Dominique Devriese},
  editor       = {Delia Kesner and
                  Eduardo Hermo Reyes and
                  Benno van den Berg},
  title        = {A Sound and Complete Substitution Algorithm for Multimode Type Theory},
  booktitle    = {29th International Conference on Types for Proofs and Programs, {TYPES}
                  2023, June 12-16, 2023, ETSInf, Universitat Polit{\`{e}}cnica de Val{\`{e}}ncia,
                  Spain},
  series       = {LIPIcs},
  volume       = {303},
  pages        = {4:1--4:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2023.4},
  doi          = {10.4230/LIPICS.TYPES.2023.4},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/CeulemansND23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/CoragliaE23,
  author       = {Greta Coraglia and
                  Jacopo Emmenegger},
  editor       = {Delia Kesner and
                  Eduardo Hermo Reyes and
                  Benno van den Berg},
  title        = {Categorical Models of Subtyping},
  booktitle    = {29th International Conference on Types for Proofs and Programs, {TYPES}
                  2023, June 12-16, 2023, ETSInf, Universitat Polit{\`{e}}cnica de Val{\`{e}}ncia,
                  Spain},
  series       = {LIPIcs},
  volume       = {303},
  pages        = {3:1--3:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2023.3},
  doi          = {10.4230/LIPICS.TYPES.2023.3},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/CoragliaE23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/DudenhefnerSCLR23,
  author       = {Andrej Dudenhefner and
                  Christoph Stahl and
                  Constantin Chaumet and
                  Felix Laarmann and
                  Jakob Rehof},
  editor       = {Delia Kesner and
                  Eduardo Hermo Reyes and
                  Benno van den Berg},
  title        = {Finite Combinatory Logic with Predicates},
  booktitle    = {29th International Conference on Types for Proofs and Programs, {TYPES}
                  2023, June 12-16, 2023, ETSInf, Universitat Polit{\`{e}}cnica de Val{\`{e}}ncia,
                  Spain},
  series       = {LIPIcs},
  volume       = {303},
  pages        = {2:1--2:22},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2023.2},
  doi          = {10.4230/LIPICS.TYPES.2023.2},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/DudenhefnerSCLR23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/Eberl23,
  author       = {Matthias Eberl},
  editor       = {Delia Kesner and
                  Eduardo Hermo Reyes and
                  Benno van den Berg},
  title        = {A Reflection Principle for Potential Infinite Models of Type Theory},
  booktitle    = {29th International Conference on Types for Proofs and Programs, {TYPES}
                  2023, June 12-16, 2023, ETSInf, Universitat Polit{\`{e}}cnica de Val{\`{e}}ncia,
                  Spain},
  series       = {LIPIcs},
  volume       = {303},
  pages        = {6:1--6:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2023.6},
  doi          = {10.4230/LIPICS.TYPES.2023.6},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/Eberl23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/Gajda23,
  author       = {Michal J. Gajda},
  editor       = {Delia Kesner and
                  Eduardo Hermo Reyes and
                  Benno van den Berg},
  title        = {Consistent Ultrafinitist Logic},
  booktitle    = {29th International Conference on Types for Proofs and Programs, {TYPES}
                  2023, June 12-16, 2023, ETSInf, Universitat Polit{\`{e}}cnica de Val{\`{e}}ncia,
                  Spain},
  series       = {LIPIcs},
  volume       = {303},
  pages        = {5:1--5:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2023.5},
  doi          = {10.4230/LIPICS.TYPES.2023.5},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/Gajda23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/WemmenhoveMP23,
  author       = {Jelle Wemmenhove and
                  Cosmin Manea and
                  Jim Portegies},
  editor       = {Delia Kesner and
                  Eduardo Hermo Reyes and
                  Benno van den Berg},
  title        = {Classification of Covering Spaces and Canonical Change of Basepoint},
  booktitle    = {29th International Conference on Types for Proofs and Programs, {TYPES}
                  2023, June 12-16, 2023, ETSInf, Universitat Polit{\`{e}}cnica de Val{\`{e}}ncia,
                  Spain},
  series       = {LIPIcs},
  volume       = {303},
  pages        = {1:1--1:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2023.1},
  doi          = {10.4230/LIPICS.TYPES.2023.1},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/WemmenhoveMP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/X23,
  editor       = {Delia Kesner and
                  Eduardo Hermo Reyes and
                  Benno van den Berg},
  title        = {Front Matter, Table of Contents, Preface, Conference Organization},
  booktitle    = {29th International Conference on Types for Proofs and Programs, {TYPES}
                  2023, June 12-16, 2023, ETSInf, Universitat Polit{\`{e}}cnica de Val{\`{e}}ncia,
                  Spain},
  series       = {LIPIcs},
  volume       = {303},
  pages        = {0:i--0:viii},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2023.0},
  doi          = {10.4230/LIPICS.TYPES.2023.0},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/X23.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.