BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gabbay:Murdoch

Contributed to:

PPDP 20062006
PPDP 20052005
LICS 20042004
PPDP 20042004
CSL 20032003
ICFP 20032003
LICS 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.