Travelled to:1 × Austria
1 × Finland
1 × Portugal
1 × Sweden
3 × Italy
Collaborated with:A.M.Pitts M.Fernández A.Mathijssen ∅ J.Cheney I.Mackie C.Urban M.R.Shinwell
Talks about:nomin (4) calculus (2) abstract (2) rewrit (2) binder (2) logic (2) new (2) unificaiton (1) approach (1) sequent (1)
Person: Murdoch Gabbay
DBLP: Gabbay:Murdoch
Contributed to:
20062005
20042004
2003
20031999Wrote 8 papers:
- PPDP-2006-GabbayM #logic
- One-and-a-halfth-order logic (MG, AM), pp. 189–200.
- PPDP-2005-FernandezG #abstraction #generative #locality
- Nominal rewriting with name generation: abstraction vs. locality (MF, MG), pp. 47–58.
- PPDP-2005-Gabbay #calculus
- A new calculus of contexts (MG), pp. 94–105.
- LICS-2004-GabbayC #calculus #logic
- A Sequent Calculus for Nominal Logic (MG, JC), pp. 139–148.
- PPDP-2004-FernandezGM #term rewriting
- Nominal rewriting systems (MF, MG, IM), pp. 108–119.
- CSL-2003-UrbanPG
- Nominal Unificaiton (CU, AMP, MG), pp. 513–527.
- ICFP-2003-ShinwellPG #named #programming
- FreshML: programming with binders made simple (MRS, AMP, MG), pp. 263–274.
- LICS-1999-GabbayP #approach #syntax
- A New Approach to Abstract Syntax Involving Binders (MG, AMP), pp. 214–224.