Murdoch Gabbay

Identifiers

• name variant Murdoch Gabbay 0.60 · backfill

Papers (2)

1. Denotation of syntax and metaprogramming in contextual modal type theory (CMTT) cs.LO · 2012 · author #1
2. From nominal sets binding to functions and lambda-abstraction: connecting the logic of permutation models with the logic of functions cs.LO · 2011 · author #2

Mentions

• 1202.0904 #1 · backfill · confidence 0.70 Murdoch Gabbay
• 1111.4611 #2 · backfill · confidence 0.70 Murdoch Gabbay

Frequent Coauthors

• Aleksandar Nanevski 1 shared papers
• Gilles Dowek 1 shared papers