BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Poland
Collaborated with:
A.Hirschowitz A.Lafont M.Maggesi P.Capriotti R.Spadotti P.L.Lumsdaine V.Voevodsky
Talks about:
signatur (2) theori (2) type (2) wellfound (1) structur (1) homotopi (1) foundat (1) categor (1) unival (1) semant (1)

Person: Benedikt Ahrens

DBLP DBLP: Ahrens:Benedikt

Contributed to:

TLCA 20152015
CSL 20172017
CSL 20182018
POPL 20202020

Wrote 4 papers:

TLCA-2015-AhrensCS #type system
Non-Wellfounded Trees in Homotopy Type Theory (BA, PC, RS), pp. 17–30.
CSL-2017-AhrensLV #category theory #type system
Categorical Structures for Type Theory in Univalent Foundations (BA, PLL, VV), p. 16.
CSL-2018-AhrensHLM #semantics
High-Level Signatures and Initial Semantics (BA, AH, AL, MM), p. 22.
POPL-2020-AhrensHLM #monad #reduction
Reduction monads and their signatures (BA, AH, AL, MM), p. 29.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.