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.

Andrea Vezzosi
SearchCollections
Map detail
Andrea Vezzosi6 visible / 6 total nodes / 5 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAndrea VezzosiAAndrea VezzosiResearcherBand structure of n- and p-doped core-shell nanowiresWBand structure of n- an...preprint / 2022Partial Univalence in n-truncated Type TheoryWPartial Univalence in n...preprint / 2020Greatest HITs: Higher inductive types in coinductive definitions via induction under clocksWGreatest HITs: Higher i...preprint / 2022Functions out of Higher TruncationsWFunctions out of Higher...preprint / 2015Guarded Cubical Type Theory: Path Equality for Guarded RecursionWGuarded Cubical Type Th...preprint / 2016
Person5 links

Andrea Vezzosi

Researcher

PaperBand structure of n- and p-doped core-shell nanowiresAuthorship / preprint / 2022PaperPartial Univalence in n-truncated Type TheoryAuthorship / preprint / 2020PaperGreatest HITs: Higher inductive types in coinductive definitions via induction under clocksAuthorship / preprint / 2022PaperFunctions out of Higher TruncationsAuthorship / preprint / 2015PaperGuarded Cubical Type Theory: Path Equality for Guarded RecursionAuthorship / preprint / 2016

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)