Talks (2009; being updated)

A talk given at the Scottish Theorem Proving meeting in Scotland, UK. I discuss permissive nominal terms. Thanks to Grant Passmore.

A talk given at the SICSA Complex Systems Engineering Joint THREADSS/SEMANTICS Meeting in Scotland, UK. I discuss in general (philosophical?) terms some of the ideas and motivations underlying my research. Thanks to Phil Trinder.

A 30 minute ‘theory lunch’ seminar given at IMDEA in Madrid, Spain. I discuss permissive nominal terms. Thanks to Alejandro Sanchez. I used the whiteboard; there are no slides.

A series of three 90 minute talks on nominal techniques given at the Universidad Complutense in Madrid, Spain. Thanks to Yolanda Ortega Mallen. I used the whiteboard; there are no slides.

A talk given at CILC'09, the 24th Italian Conference on Computational Logic in Ferrara, Italy. See also the associated paper.
I discuss permissive-nominal terms, which are similar to nominal terms but with properties more like those of first-order syntax. In particular, permissive-nominal terms lack freshness contexts, have inherent notions of alpha-equivalence and ‘free atoms of’, and the notion of solution of a unification or matching problem is based just on substitution.

A talk given at the 2nd International Workshop on Theory and Applications of Abstraction, Substitution and Naming in York, UK (a satellite event of ETAPS 2009). See also the associated paper.
I discuss a semantics for nominal terms unknowns as ‘infinite streams of distinct atoms’. This reconciles atoms-abstraction with nominal terms. I also describe a form of substitution that is both capturing (as in nominal terms) and capture-avoiding (as in first-order syntax with binding) — at the same time.