E-LIB Suche - Ergebnisse für: Ahrens, Benedikt

1

Univalent Double Categories:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,

van der Weide, Niels ; Rasekh, Nima ; Ahrens, Benedikt. - p. 246-259 , 2024

Link: https://dl.acm.org/doi/1..

2

Displayed Monoidal Categories for the Semantics of Linear L..:

, In: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Ahrens, Benedikt ; Matthes, Ralph ; van der Weide, Niels. - p. 260-273 , 2024

Link: https://dl.acm.org/doi/1..

3

Bicategorical type theory: semantics and syntax:

Ahrens, Benedikt ; North, Paige Randall ; van der Weide, Niels
Mathematical Structures in Computer Science. 33 (2023) 10 - p. 868-912 , 2023

Link: https://doi.org/10.1017/..

4

B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT:

AHRENS, BENEDIKT ; EMMENEGGER, JACOPO ; NORTH, PAIGE RANDALL.
The Journal of Symbolic Logic. , 2023

Link: https://doi.org/10.1017/..

5

Linking geological and infrastructural requirements for lar..:

Alms, Katharina ; Ahrens, Benedikt ; Graf, Marieke.
Frontiers in Energy Research. 11 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

6

Underground Hydrogen Storage in the Bunter Sandstone Format..:

Alms, Katharina ; Berndsen, Maximilian ; Groeneweg, Alicia...
Energy Technology. , 2023

Link: https://doi.org/10.1002/..

7

Implementing a category-theoretic framework for typed abstr..:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Ahrens, Benedikt ; Matthes, Ralph ; Mörtberg, Anders - p. 307-323 , 2022

Link: https://dl.acm.org/doi/1..

8

Geothermal reservoir characterisation of Devonian carbonate..:

Lippert, Kevin ; Ahrens, Benedikt ; Nehler, Mathias...
Geothermics. 106 (2022) - p. 102549 , 2022

Link: https://doi.org/10.1016/..

9

Semantics for two-dimensional type theory:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Ahrens, Benedikt ; North, Paige Randall ; van der Weide, Niels - p. 1-14 , 2022

Link: https://dl.acm.org/doi/1..

10

Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory ..:

Ahrens, Benedikt ; Huber, Simon ; Mörtberg, Anders
Mathematical Structures in Computer Science. 31 (2021) 4 - p. 361-362 , 2021

Link: https://doi.org/10.1017/..

11

Characterization of discontinuities in potential reservoir ..:

Balcewicz, Martin ; Ahrens, Benedikt ; Lippert, Kevin.
Solid Earth. 12 (2021) 1 - p. 35-58 , 2021

Link: https://doi.org/10.5194/..

12

Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory ..:

Ahrens, Benedikt ; Huber, Simon ; Mörtberg, Anders
Mathematical Structures in Computer Science. 31 (2021) 1 - p. 1-2 , 2021

Link: https://doi.org/10.1017/..

13

Bicategories in univalent foundations:

Ahrens, Benedikt ; Frumin, Dan ; Maggesi, Marco..
Mathematical Structures in Computer Science. 31 (2021) 10 - p. 1232-1269 , 2021

Link: https://doi.org/10.1017/..

14

Experimental analysis of the frequency dependence of elasti..:

Ahrens, Benedikt , 2020

Link: https://nbn-resolving.de..

15

A Higher Structure Identity Principle:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Ahrens, Benedikt ; North, Paige Randall ; Shulman, Michael. - p. 53-66 , 2020

Link: https://dl.acm.org/doi/1..