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.

Bruno Barras
SearchCollections
Map detail
Bruno Barras4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipBruno BarrasABruno BarrasResearcherImplementation of Two Layers Type Theory in Dedukti and Application to Cubical Type TheoryWImplementation of Two L...preprint / 2021Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving SystemsWPervasive Parallelism i...preprint / 2013Asynchronous processing of Coq documents: from the kernel up to the user interfaceWAsynchronous processing...preprint / 2015
Person3 links

Bruno Barras

Researcher

PaperImplementation of Two Layers Type Theory in Dedukti and Application to Cubical Type TheoryAuthorship / preprint / 2021PaperPervasive Parallelism in Highly-Trustable Interactive Theorem Proving SystemsAuthorship / preprint / 2013PaperAsynchronous processing of Coq documents: from the kernel up to the user interfaceAuthorship / preprint / 2015

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)