Peter Dybjer
Chalmers tekniska högskola
H-index: 29
Europe-Sweden
Top articles of Peter Dybjer
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
The extended predicative Mahlo universe in Martin-Löf type theory | Journal of Logic and Computation | Peter Dybjer Anton Setzer | 2023/5/12 |
THE BULLETIN OF SYMBOLIC LOGIC | Laurent Bienvenu Matthias Baaz Ali Enayat James Cummings Leonid Libkin | 2021 | |
Type Theories with Universe Level Judgments | CoRR | Marc Bezem Thierry Coquand Peter Dybjer Martín Escardó | 2022 |
Type theory with explicit universe polymorphism | arXiv preprint arXiv:2212.03284 | Marc Bezem Thierry Coquand Peter Dybjer Martín Escardó | 2022/12/6 |
Implementing Martin-Löf’s Meaning Explanations for Intuitionistic Type Theory in Agda | Peter Dybjer Anton Setzer | 2022/6/21 | |
On generalized algebraic theories and categories with families | Mathematical Structures in Computer Science | Marc Bezem Thierry Coquand Peter Dybjer Martín Escardó | 2021/10 |
Categories with families: Unityped, simply typed, and dependently typed | Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics | Simon Castellan Pierre Clairambault Peter Dybjer | 2021 |
A Note on Generalized Algebraic Theories and Categories with Families | arXiv preprint arXiv:2012.08370 | Marc Bezem Thierry Coquand Peter Dybjer Martín Escardó | 2020/12/15 |