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.

Octavio Malherbe
SearchCollections
Map detail
Octavio Malherbe8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipOctavio MalherbeAOctavio MalherbeResearcherCategorical models of computation: partially traced categories and presheaf models of quantum computationWCategorical models of c...preprint / 2013Partially traced categoriesWPartially traced catego...preprint / 2012Presheaf models of quantum computation: an outlineWPresheaf models of quan...preprint / 2013Linear Hyperdoctrines and ComodulesWLinear Hyperdoctrines a...preprint / 2016A Report on RealizabilityWA Report on Realizabilitypreprint / 2013Realizability in OCAs and AKSsWRealizability in OCAs a...preprint / 2015Ordered combinatory algebras and realizabilityWOrdered combinatory alg...preprint / 2014
Person7 links

Octavio Malherbe

Researcher

PaperCategorical models of computation: partially traced categories and presheaf models of quantum computationAuthorship / preprint / 2013PaperPartially traced categoriesAuthorship / preprint / 2012PaperPresheaf models of quantum computation: an outlineAuthorship / preprint / 2013PaperLinear Hyperdoctrines and ComodulesAuthorship / preprint / 2016PaperA Report on RealizabilityAuthorship / preprint / 2013PaperRealizability in OCAs and AKSsAuthorship / preprint / 2015PaperOrdered combinatory algebras and realizabilityAuthorship / 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)