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.

Peter Hines
SearchCollections
Map detail
Peter Hines12 visible / 12 total nodes / 11 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPeter HinesAPeter HinesResearcherOn strict extensional reflexivity in compact closed categoriesWOn strict extensional r...preprint / 2022From a conjecture of Collatz to Thompson's group F, via a conjunction of GirardWFrom a conjecture of Co...preprint / 2022A diagrammatic approach to information flow in encrypted communication (extended version)WA diagrammatic approach...preprint / 2020Types and forgetfulness in categorical linguistics and quantum mechanicsWTypes and forgetfulness...preprint / 2013Girard's $!()$ as a reversible fixed-point operatorWGirard's $!()$ as a rev...preprint / 2013A categorical analogue of the monoid semiring constructionWA categorical analogue ...preprint / 2013Classical Structures Based on UnitariesWClassical Structures Ba...preprint / 2013Identities in modular arithmetic from reversible coherence operationsWIdentities in modular a...preprint / 2013Quantum Speedup and Categorical DistributivityWQuantum Speedup and Cat...preprint / 2013Coherence and strictification for self-similarityWCoherence and strictifi...preprint / 2015A Framework for Heterotic ComputingWA Framework for Heterot...preprint / 2012
Person11 links

Peter Hines

Researcher

PaperOn strict extensional reflexivity in compact closed categoriesAuthorship / preprint / 2022PaperFrom a conjecture of Collatz to Thompson's group F, via a conjunction of GirardAuthorship / preprint / 2022PaperA diagrammatic approach to information flow in encrypted communication (extended version)Authorship / preprint / 2020PaperTypes and forgetfulness in categorical linguistics and quantum mechanicsAuthorship / preprint / 2013PaperGirard's !()!() as a reversible fixed-point operatorAuthorship / preprint / 2013PaperA categorical analogue of the monoid semiring constructionAuthorship / preprint / 2013PaperClassical Structures Based on UnitariesAuthorship / preprint / 2013PaperIdentities in modular arithmetic from reversible coherence operationsAuthorship / preprint / 2013

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)