Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/types/2015,
  editor       = {Tarmo Uustalu},
  title        = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, May 18-21, 2015, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {69},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-030-9},
  isbn         = {978-3-95977-030-9},
  timestamp    = {Tue, 11 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/types/2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/Adams015,
  author       = {Robin Adams and
                  Bart Jacobs},
  editor       = {Tarmo Uustalu},
  title        = {A Type Theory for Probabilistic and Bayesian Reasoning},
  booktitle    = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, May 18-21, 2015, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {69},
  pages        = {1:1--1:34},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2015.1},
  doi          = {10.4230/LIPICS.TYPES.2015.1},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/types/Adams015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/AhrensM15,
  author       = {Benedikt Ahrens and
                  Ralph Matthes},
  editor       = {Tarmo Uustalu},
  title        = {Heterogeneous Substitution Systems Revisited},
  booktitle    = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, May 18-21, 2015, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {69},
  pages        = {2:1--2:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2015.2},
  doi          = {10.4230/LIPICS.TYPES.2015.2},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/types/AhrensM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/AltenkirchK15,
  author       = {Thorsten Altenkirch and
                  Ambrus Kaposi},
  editor       = {Tarmo Uustalu},
  title        = {Towards a Cubical Type Theory without an Interval},
  booktitle    = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, May 18-21, 2015, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {69},
  pages        = {3:1--3:27},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2015.3},
  doi          = {10.4230/LIPICS.TYPES.2015.3},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/AltenkirchK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/AnconaGZ15,
  author       = {Davide Ancona and
                  Paola Giannini and
                  Elena Zucca},
  editor       = {Tarmo Uustalu},
  title        = {Constrained Polymorphic Types for a Calculus with Name Variables},
  booktitle    = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, May 18-21, 2015, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {69},
  pages        = {4:1--4:29},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2015.4},
  doi          = {10.4230/LIPICS.TYPES.2015.4},
  timestamp    = {Tue, 29 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/types/AnconaGZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/CohenCHM15,
  author       = {Cyril Cohen and
                  Thierry Coquand and
                  Simon Huber and
                  Anders M{\"{o}}rtberg},
  editor       = {Tarmo Uustalu},
  title        = {Cubical Type Theory: {A} Constructive Interpretation of the Univalence
                  Axiom},
  booktitle    = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, May 18-21, 2015, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {69},
  pages        = {5:1--5:34},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2015.5},
  doi          = {10.4230/LIPICS.TYPES.2015.5},
  timestamp    = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/types/CohenCHM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/EdiVB15,
  author       = {Juan Edi and
                  Andr{\'{e}}s Viso and
                  Eduardo Bonelli},
  editor       = {Tarmo Uustalu},
  title        = {Efficient Type Checking for Path Polymorphism},
  booktitle    = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, May 18-21, 2015, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {69},
  pages        = {6:1--6:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2015.6},
  doi          = {10.4230/LIPICS.TYPES.2015.6},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/EdiVB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/FlorSS15,
  author       = {Jo{\~{a}}o Paulo Pizani Flor and
                  Wouter Swierstra and
                  Yorick Sijsling},
  editor       = {Tarmo Uustalu},
  title        = {Pi-Ware: Hardware Description and Verification in Agda},
  booktitle    = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, May 18-21, 2015, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {69},
  pages        = {9:1--9:27},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2015.9},
  doi          = {10.4230/LIPICS.TYPES.2015.9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/FlorSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/PaoliniPR15,
  author       = {Luca Paolini and
                  Mauro Piccolo and
                  Luca Roversi},
  editor       = {Tarmo Uustalu},
  title        = {A Certified Study of a Reversible Programming Language},
  booktitle    = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, May 18-21, 2015, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {69},
  pages        = {7:1--7:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2015.7},
  doi          = {10.4230/LIPICS.TYPES.2015.7},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/PaoliniPR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/Parmann15,
  author       = {Erik Parmann},
  editor       = {Tarmo Uustalu},
  title        = {Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation},
  booktitle    = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, May 18-21, 2015, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {69},
  pages        = {8:1--8:25},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2015.8},
  doi          = {10.4230/LIPICS.TYPES.2015.8},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/Parmann15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/types/X15,
  editor       = {Tarmo Uustalu},
  title        = {Front Matter, Table of Contents, Preface, Externqal Reviewers},
  booktitle    = {21st International Conference on Types for Proofs and Programs, {TYPES}
                  2015, May 18-21, 2015, Tallinn, Estonia},
  series       = {LIPIcs},
  volume       = {69},
  pages        = {0:i--0:xii},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2015.0},
  doi          = {10.4230/LIPICS.TYPES.2015.0},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/X15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.