Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Murdoch Gabbay
Map detail
Murdoch Gabbay4 visible / 4 total nodes / 3 links

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

AuthorshipAuthorshipAuthorshipMurdoch GabbayAMurdoch GabbayResearcherSemitopology: a topological approach to decentralised collaborative actionWSemitopology: a topolog...preprint / 2025Denotation of syntax and metaprogramming in contextual modal type theory (CMTT)WDenotation of syntax an...preprint / 2012From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functionsWFrom nominal sets bindi...preprint / 2011
Person3 links

Murdoch Gabbay

Researcher