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.

Bart Jacobs
SearchCollections
Map detail
Bart Jacobs13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipBart JacobsABart JacobsResearcherThe Expectation Monad in Quantum FoundationsWThe Expectation Monad i...preprint / 2012Proceedings 8th International Workshop on Quantum Physics and LogicWProceedings 8th Interna...preprint / 2012Relating Operator Spaces via AdjunctionsWRelating Operator Space...preprint / 2012Dagger Categories of Tame RelationsWDagger Categories of Ta...preprint / 2012Involutive Categories and Monoids, with a GNS-correspondenceWInvolutive Categories a...preprint / 2010Bases as CoalgebrasWBases as Coalgebraspreprint / 2013Orthomodular lattices, Foulis Semigroups and Dagger Kernel CategoriesWOrthomodular lattices, ...preprint / 2010Modular termination verification with a higher-order concurrent separation logic (Intermediate report)WModular termination ver...preprint / 2022Steps and TracesWSteps and Tracespreprint / 2020Quantum Logic in Dagger Kernel CategoriesWQuantum Logic in Dagger...preprint / 2009Scalars, Monads, and CategoriesWScalars, Monads, and Ca...preprint / 2011Category Theory in Coq 8.5WCategory Theory in Coq 8.5preprint / 2015
Person12 links

Bart Jacobs

Researcher

PaperThe Expectation Monad in Quantum FoundationsAuthorship / preprint / 2012PaperProceedings 8th International Workshop on Quantum Physics and LogicAuthorship / preprint / 2012PaperRelating Operator Spaces via AdjunctionsAuthorship / preprint / 2012PaperDagger Categories of Tame RelationsAuthorship / preprint / 2012PaperInvolutive Categories and Monoids, with a GNS-correspondenceAuthorship / preprint / 2010PaperBases as CoalgebrasAuthorship / preprint / 2013PaperOrthomodular lattices, Foulis Semigroups and Dagger Kernel CategoriesAuthorship / preprint / 2010PaperModular termination verification with a higher-order concurrent separation logic (Intermediate report)Authorship / preprint / 2022

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)