gabbay:2006-st-andrews
Murdoch J. Gabbay Boxology, A talk given at St Andrew's University on December 19 at 11:00. We discuss boxology and hierarchical nominal techniques. Thanks to Kevin Hammond.
[ps] [pdf]
gabbay:2006-lmu
Murdoch J. Gabbay Nominal Algebra: a NEW mathematics of variables, A talk given at the LMU Institut für Informatik in Munich on December 6 at 16:00. We describe nominal algebra, its use to naturally represent meta-level reasoning on theories with binding, then concentrate on a nominal algebra axiomatisation of substitution and argue that ‘variable’ can be modelled as a ‘name plus substitution action’. Thanks to Martin Hofmann.
[ps] [pdf]
gabbay:2006-cameleon
Murdoch J. Gabbay Substitution in Fraenkel-Mostowski sets, A talk given at Cambridge University Centre for Mathematical Studies as part of the Cameleon meeting on December 2 at 16:00. We show how the model of names given by atoms in Fraenkel-Mostowski sets can be extended with a substitution action to a model of variables. Thanks to Thomas Forster.
[ps] [pdf]
gabbay:2006-bath-noml
Murdoch J. Gabbay Nominal Logic, A talk given at the University of Bath Computer Science Department on November 13 at 11:15. We discuss nominal logic and the slogans ‘logic with names’ versus ‘logic with variables’. Thanks to Mark Price and Alessio Guglielmi.
[ps] [pdf]
gabbay:2006-dsg-lognfs
Murdoch J. Gabbay Logic of names and freshness (splitting the atom), A talk given at the Dependable Systems Group weekly seminar at Heriot-Watt on October 27 at 14:15. We discuss what happens to the lambda binder in the presence of a hierarchy of variables.
[ps] [pdf]
gabbay:2006-lamc
Murdoch J. Gabbay The lambda-calculus, A brief talk-ette (talk-chen, talk-ino) presented to test my presentation skills as part of the PGCAP course here at Heriot-Watt. They're trying to make me a better teacher.
[ps] [pdf]
MathijssenA:2006-noma
Aad Mathijssen Nominal Algebra, A talk presented in the 18th Nordic Workshop on Programming Theory (NWPT'06) at Reykjavík University in Iceland. I include slides of Aad's excellent talk here at his request. The corresponding abstract is here.
[pdf]
gabbay:2006-stp-evoa
Murdoch J. Gabbay Nominal techniques: evolving the atom, A talk given at the Scottish Theorem Proving meeting in the School of computer science at St Andrew's University on October 13. We give a position talk on nominal techniques considered useful as a means to generalise compositionality. Thanks to Phil Trinder and Rob Rothenberg.
[ps] [pdf]
gabbay:2006-dream-incoun
Murdoch J. Gabbay Incomplete objects using the NEW calculus of contexts, A talk given at the DREAM workshop of the mathematical reasoning group at Edinburgh University on August 31. We speculate on higher-order logic in the NEW calculus of contexts.
[ps] [pdf]
gabbay:2006-lfmtp-hienr
Murdoch J. Gabbay Hierarchical nominal rewriting, Kindly presented on my behalf by James Cheney at LFMTP'2006 in Seattle, USA on Wednesday 16 August 2006 at 10:30.
[ps] [pdf]
gabbay:ppdp-oneaah
Murdoch J. Gabbay One-and-a-halfth-order-logic, Presented at PPDP'2006 in Venice, Italy on Tuesday 11 July 2006 at 16:30.
[ps] [pdf]
gabbay:2006-kcl-cans
Murdoch J. Gabbay Concrete models of nominal algebra substitution, Presented at the CANS seminar at King's College London on Thursday 22 June 2006 at 3pm. Thanks to Maribel Fernandez.
[ps] [pdf]
gabbay:2006-conmna
Murdoch J. Gabbay Concrete models of nominal algebra substitution, Presented at the CISA/LFCS seminar at Edinburgh University on Tuesday 13 June 2006 at 4pm in room 4.03. Thanks to Lucas Dixon. (See also kcl-cans a revised and extended version.)
[ps] [pdf]
gabbay:2006-evoltn
Murdoch J. Gabbay Evolved logic: the next step, Presented at the programming languages group in Tel-Aviv University at 14:00 on Sunday 28 May. Thanks to Mooly Sagiv.
[ps] [pdf]
gabbay:2006tau4
Murdoch J. Gabbay Fraenkel-Mostowski sets and the new model of abstraction, Presented as part of a course in Tel-Aviv University at 12:00 on Sunday 28 May.
[ps] [pdf]
gabbay:2006tau3
Murdoch J. Gabbay A NEW calculus of contexts, Presented as part of a course in Tel-Aviv University in 210 Schreiber at 12:00 on Sunday 14 May. Also see gabbay:newcc.
[ps] [pdf]
gabbay:2006tau2
Murdoch J. Gabbay On substitution, Presented as part of a course in Tel-Aviv University in 210 Schreiber at 10:30 on Thursday 11 May. Also see gabbay:capasn and gabbay:subaan.
[ps] [pdf]
gabbay:2006tau1
Murdoch J. Gabbay Nominal algebra with applications, Presented as part of a course in Tel-Aviv University in 210 Schreiber at 10:30 on Thursday 4 May. Thanks to Nachum Dershowitz.
Presented again at the Tel-Aviv University computer science departmental seminar at 10:00 on Tuesday 9 May. Only got half way through thanks to dilligent questioning; I will deliver the second half at 10:00 on Tuesday 16 May.
See gabbay:noma for the first half, and gabbay:onaah for the second.
[ps] [pdf]
gabbay:200603-nomo
Murdoch J. Gabbay Nominal: an overview, Presented at the Departmental Seminar at the Universidad Politecnica de Madrid on March 31. We give an overview of (one large part of) our research, focussing on ‘nominal’. Thanks to Manuel Hermenegildo, Juan-Jose Moreno, and Jim Lipton for the invitation to visit.
[ps] [pdf]
gabbay:200603-funpum
Murdoch J. Gabbay Functional programming and unification with meta-variables, A research seminar given with the Babel group at the Universidad Politecnica de Madrid on March 31. We discuss our recent axiomatisation of substitution, and the NEW calculus of contexts, suggesting connections with logic programming and describing what we think might naturally be done next in this area. Thanks to Julio Marino.
[ps] [pdf]
gabbay:200603-conmls
Murdoch J. Gabbay A concrete model of linearity and separation, Presented at the Scottish Theorem Proving Meeting at Heriot-Watt University on March 17. We describe what we think is probably a uniform sets-based semantics for linear logic and bunched implications. Thanks to Andrew Ireland.
I gave this talk again as a research seminar with the Babel group at the Universidad Politecnica de Madrid on March 28 with title: A concrete semantics for truth in bunched implications and linear logic? Thanks to Julio Marino.
[ps] [pdf]
gabbay:200603-substitution
Murdoch J. Gabbay Is substitution an abstract notion?, Departmental colloquium given at King's College London on March 13. We describe an axiomatisation of substitution in ‘nominal style’ and discuss its set-based semantics. Thanks to Iman Poernomo.
[ps] [pdf]
gabbay:200603-separation
Murdoch J. Gabbay Separation, Departmental seminar given at Heriot-Watt on March 6. We report on joint work with Joe Wells in which we consider semantics for multiplicative and additive implication. Thanks to Lilia Georgieva.
[ps] [pdf]
gabbay:200603-NEWss
Samuel Rota Bulo and Andrea Marin A NEW semantics of substitution, Report on joint research carried out with two students, Samuel Rota Bulo and Andrea Marin, in the framework of a course taught in the University of Venice. Presented by the students on March 1. Thanks to their tutor Simonetta Balsamo.
[ps] [pdf]
gabbay:200602-spls
Murdoch J. Gabbay The NEW calculus of contexts, Talk given at the Scottish Programming Languages Seminar on February 1. We describe the NEW calculus of contexts, a lambda-calculus which tries to understand the meta-level/object-level split. Thanks to Edwin Brady. (I gave similar talks before in Turin, Italy and at PPDP'05 in Lisbon, Portugal.)
[ps] [pdf]
gabbay:200601-nomtml
Murdoch J. Gabbay Nominal techniques and the meta-level, Talk given at Venice University on January 24. In reaction to the question “So what is it that you do?”, I give an initially non-technical description of the motivations (as I see them) for that part of my work to date which has to do with nominal techniques. Thanks to Annalisa Bossi.
[ps] [pdf]
gabbay:200601-nomr
Murdoch J. Gabbay Nominal Rewriting, Talk given at the computational logic colloquium at Innsbruck University on January 23. We describe nominal rewriting as a meta-level framework for specifying rewriting, which accurately reflects the instantiation behaviour of meta-level variables with respect to object-level binding. We then expatiate way over the time limit on the general context of our research. Thanks to Aart Middeldorp for inviting me and to Georg Moser for making it happen.
[ps] [pdf]
gabbay:200601-newcc
Murdoch J. Gabbay The NEW calculus of contexts, Talk given at the Turin workshop on implicit computational complexity on January 19. We describe the NEW calculus of contexts, a lambda-calculus which tries to understand the meta-level/object-level split. Thanks to Simona Ronchi della Rocca. (A corrected and slightly modified version of a talk given at PPDP'05.)
[ps] [pdf]
gabbay:200601-framma
Murdoch J. Gabbay The Frankel-Mostowski (FM) model of abstraction applied to name-generation, Talk given at the ULTRA group seminar at Heriot-Watt on January 9. We discuss the FM model of abstraction, and briefly suggest its usefulness for both inductive and coinductive types. Thanks to Lilia Georgieva.
[ps] [pdf]