AHRENS, BENEDIKT
AHRENS, BENEDIKT
Matematica e Informatica 'Ulisse Dini'
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.012 secondi).
Bicategories in Univalent Foundations
2019 Benedikt Ahrens, Dan Frumin, Marco maggesi, Niels van der Weide
Bicategories in univalent foundations
2022 Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels
High-level signatures and initial semantics
2018 Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
Modular Specification of Monads Through Higher-Order Presentations
2019 Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco maggesi
Presentable signatures and initial semantics
2021 Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi
Reduction Monads and Their Signatures
2020 Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Bicategories in Univalent Foundations | 2019 | Benedikt Ahrens, Dan Frumin, Marco maggesi, Niels van der Weide | |
| Bicategories in univalent foundations | 2022 | Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels | |
| High-level signatures and initial semantics | 2018 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi | |
| Modular Specification of Monads Through Higher-Order Presentations | 2019 | Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco maggesi | |
| Presentable signatures and initial semantics | 2021 | Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi | |
| Reduction Monads and Their Signatures | 2020 | Benedikt Ahrens; André Hirschowitz; Ambroise Lafont; Marco Maggesi |