1
0
0
(1 - 23 von 23
)
[ ] Modular specification of monads through higher-order...
arxiv.org
Title:Modular specification of monads through higher-order presentations. Authors:Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, ...
Geothermal Reservoir Characterisation of SSRN Papers
papers.ssrn.com
von K Lippert — affiliation not provided to SSRN. Benedikt Ahrens. affiliation not provided to SSRN. Mathias Nehler. affiliation not provided to SSRN ... › sol3 › pap...
Underground Hy… Storage in the Bunter Sandstone ...Wiley Online Library
onlinelibrary.wiley.com
von K Alms — ... Benedikt Ahrens,. Benedikt Ahrens. Fraunhofer IEG – Fraunhofer Research Institution for Energy Infrastructures and Geothermal Systems, Am ...
Documents authored by Ahrens, Benedikt - DROPSdagstuhl.de
drops.dagstuhl.de
von K Wullaert · Zitiert von: 6 — Authors: Benedikt Ahrens, Dan Frumin, Marco Maggesi, and Niels van der Weide. Published in: LIPIcs, Volume 131, 4th International Conference on Formal ...
[ ] Presentable signatures and initial semantics
arxiv.org
Presentable signatures and initial semantics. Authors:Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi · Download PDF. Abstract: We present a ...
Substitution for Non-Wellfounded Syntax with Binders ...arXiv
arxiv.org
von R Matthes · — Substitution for Non-Wellfounded Syntax with Binders through Monoidal Categories. Authors:Ralph Matthes, Kobe Wullaert, Benedikt Ahrens.
Implementing a Category-Theoretic Framework for Typed ...
research.tudelft.nl
von B Ahrens · · Zitiert von: 4 — Benedikt Ahrens, Ralph Matthes, and Anders Mörtberg Im- plementing a Category-Theoretic Framework for Typed Abstract. Syntax. › pdf
[ ] Bicategories in Univalent Foundations - arXiv
arxiv.org
von B Ahrens · · Zitiert von: 14 — Authors:Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide · Download PDF. Abstract: We develop bicategory theory in univalent ... › math
Initiality for Typed Syntax and Semantics
jfr.unibo.it
von B Ahrens · · Zitiert von: 6 — BENEDIKT AHRENS. Université Nice Sophia Antipolis, France. In this thesis we give an algebraic characterization of the syntax and semantics of simply typed. › article › download
[ v1] Extended Initiality for Typed Abstract Syntax
arxiv.org
Title: Extended Initiality for Typed Abstract Syntax. Authors: Benedikt Ahrens. (Submitted on 24 Jul (this version), latest version 5 Apr
Implementing a Category-Theoretic Framework for Typed ...Archive ouverte HAL
hal.science
von B Ahrens · · Zitiert von: 9 — Benedikt Ahrens, Ralph Matthes, Anders Mörtberg. Implementing a ... Keywords: typed abstract syntax, monad, signature, formal- ization, computer- ...
[ v1] Initiality for Typed Syntax and Semantics
arxiv.org
Authors: Benedikt Ahrens. (Submitted on 20 Jun 2012). Abstract: We give an algebraic characterization of the syntax and semantics of a class of simply-typed ...
Semantics for two-dimensional type theory - HoTT/UF 2023
hott-uf.github.io
von B Ahrens · Zitiert von: 2 — [1] Benedikt Ahrens, Paige Randall North, and Niels van der Weide. Semantics for two-dimensional type theory, https://arxiv.org/abs v1. › HoTTUF_2022_paper_1
[ ] Displayed CategoriesarXiv
arxiv.org
von B Ahrens · · Zitiert von: 48 — Title:Displayed Categories. Authors:Benedikt Ahrens, Peter LeFanu Lumsdaine. Download a PDF of the paper titled Displayed Categories, by ...
Reduction Monads and Their Signatures - PureUniversity of Birmingham
pure-oai.bham.ac.uk
von B Ahrens · Zitiert von: 7 — Benedikt Ahrens Modules over relative monads for syntax and semantics. Mathematical Structures in Computer. Science 26 (2016), 3–37. Issue 1. https ...
[ ] Univalent categories and the Rezk completion
arxiv.org
Authors: Benedikt Ahrens, Chris Kapulkin, Michael Shulman. (Submitted on 4 Mar (v1), last revised 6 Jan (this version, v2)). Abstract: We develop category theory within Univalent Foundations, which is a foundational system for mathematics based on a homotopical interpretation of dependent type theory.
TYPES 2015: Abstracts
cs.ioc.ee
Benedikt Ahrens and Ralph Matthes, 14. Towards a theory of higher inductive types. Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra and ...
The Univalence Principlearxiv.org › math
arxiv.org
· The Univalence Principle. Authors:Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris T…tzis · Download PDF. Abstract: The ...
Univalent Double Categories | Proceedings of the 13th ACM ...ACM Digital Library
dl.acm.org
vor 5 Tagen — Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, and Niels van der Weide Bicategories in univalent foundations. Math ...
Univalent Monoidal Categories - DROPSdagstuhl.de
drops.dagstuhl.de
von K Wullaert · · Zitiert von: 6 — Benedikt Ahrens, Krzysztof Kapulkin, and Michael Shulman. Univalent categories and the Rezk completion. Math. Struct. Comput. Sci., 25(5):
Talks: Abstracts + Videos - FOMUS - Foundations of Mathematics:...
fomus.weebly.com
Abstracts. Benedikt Ahrens (INRIA Nantes, France) Univalent Foundations and the Equivalence Principle. The "equivalence principle" (EP) says that ...
sortiert nach Relevanz / Datum