BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Benedikt Ahrens
SearchCollections
Map detail
Benedikt Ahrens11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBenedikt AhrensABenedikt AhrensResearcherUnivalent foundations and the equivalence principleWUnivalent foundations a...preprint / 2022The Univalence PrincipleWThe Univalence Principlepreprint / 2022Bicategories in Univalent FoundationsWBicategories in Univale...preprint / 2022A Higher Structure Identity PrincipleWA Higher Structure Iden...preprint / 2020Initial Semantics for higher-order typed syntax in CoqWInitial Semantics for h...preprint / 2011Initiality for Typed Syntax and SemanticsWInitiality for Typed Sy...preprint / 2012Initiality for Typed Syntax and SemanticsWInitiality for Typed Sy...preprint / 2012Terminal semantics for codata types in intensional Martin-Löf type theoryWTerminal semantics for ...preprint / 2014Extended Initiality for Typed Abstract SyntaxWExtended Initiality for...preprint / 2012The solutions to single-variable polynomials, implemented and verified in LeanWThe solutions to single...preprint / 2022
Person10 links

Benedikt Ahrens

Researcher

PaperUnivalent foundations and the equivalence principleAuthorship / preprint / 2022PaperThe Univalence PrincipleAuthorship / preprint / 2022PaperBicategories in Univalent FoundationsAuthorship / preprint / 2022PaperA Higher Structure Identity PrincipleAuthorship / preprint / 2020PaperInitial Semantics for higher-order typed syntax in CoqAuthorship / preprint / 2011PaperInitiality for Typed Syntax and SemanticsAuthorship / preprint / 2012PaperInitiality for Typed Syntax and SemanticsAuthorship / preprint / 2012PaperTerminal semantics for codata types in intensional Martin-Löf type theoryAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)