| Publication | Date of Publication | Type |
|---|
Algebras of UTxO blockchains
Mathematical Structures in Computer Science | 2022-06-24 | Paper |
Equivariant ZFA and the foundations of nominal techniques
Journal Of Logic And Computation | 2020-06-04 | Paper |
Semantics Out of Context
Journal of the ACM | 2018-08-02 | Paper |
The language of stratified sets is confluent and strongly normalising
(available as arXiv preprint) | 2018-05-30 | Paper |
| Checking overlaps of nominal rewriting rules | 2018-04-23 | Paper |
| Equivariant ZFA with Choice: a position paper | 2018-03-23 | Paper |
| Leaving the nest: nominal techniques for variables with interleaving scopes | 2017-08-31 | Paper |
Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
Annals of Pure and Applied Logic | 2016-12-23 | Paper |
Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness
Annals of Pure and Applied Logic | 2016-12-23 | Paper |
Nominal SOS
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Game semantics in the nominal model
Electronic Notes in Theoretical Computer Science | 2016-07-08 | Paper |
Quantifiers in logic and proof-search using permissive-nominal terms and sets
Journal Of Logic And Computation | 2015-10-20 | Paper |
Permissive-nominal logic: first-order logic over nominal terms and sets
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
FreshML: programming with binders made simple
Proceedings of the eighth ACM SIGPLAN international conference on Functional programming | 2015-07-02 | Paper |
Two-level lambda-calculus
Electronic Notes in Theoretical Computer Science | 2015-04-09 | Paper |
| Consistency of Quine's New Foundations | 2014-06-16 | Paper |
\(a\)-logic with arrows
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
Imaginary groups: lazy monoids and reversible computation
Mathematical Structures in Computer Science | 2014-03-12 | Paper |
| The \(\lambda\)-context calculus | 2014-01-10 | Paper |
| Hierarchical nominal terms and their theory of rewriting | 2014-01-10 | Paper |
Denotation of contextual modal type theory (CMTT): syntax and meta-programming
Journal of Applied Logic | 2013-05-02 | Paper |
Meta-variables as infinite lists in nominal terms unification and rewriting
Logic Journal of the IGPL | 2013-04-17 | Paper |
PNL to HOL: from the logic of nominal sets to the logic of higher-order functions
Theoretical Computer Science | 2012-10-11 | Paper |
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
The Journal of Symbolic Logic | 2012-09-19 | Paper |
Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
The Journal of Symbolic Logic | 2012-09-19 | Paper |
Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
Information and Computation | 2012-05-24 | Paper |
Unity in nominal equational reasoning: the algebra of equality on nominal sets
Journal of Applied Logic | 2012-05-23 | Paper |
Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables
Mathematical Structures in Computer Science | 2011-10-21 | Paper |
Stone Duality for Nominal Boolean Algebras with И
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Principal types for nominal theories
Fundamentals of Computation Theory | 2011-08-19 | Paper |
Foundations of nominal techniques: logic and semantics of variables in abstract syntax
The Bulletin of Symbolic Logic | 2011-06-28 | Paper |
| Some formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning | 2011-06-21 | Paper |
| scientific article; zbMATH DE number 5910661 (Why is no real title available?) | 2011-06-21 | Paper |
Freshness and Name-Restriction in Sets of Traces with Names
Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
| scientific article; zbMATH DE number 5872263 (Why is no real title available?) | 2011-03-30 | Paper |
A simple class of Kripke-style models in which logic and computation have equal standing
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
Logic Journal of the IGPL | 2010-12-14 | Paper |
A Nominal Axiomatization of the Lambda Calculus
Journal Of Logic And Computation | 2010-04-21 | Paper |
Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
Information and Computation | 2010-04-14 | Paper |
Nominal (universal) algebra: equational logic with names and binding
Journal Of Logic And Computation | 2010-01-14 | Paper |
The lambda-context calculus (extended version)
Information and Computation | 2009-12-11 | Paper |
Nominal Algebra and the HSP Theorem
Journal Of Logic And Computation | 2009-04-16 | Paper |
A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
Theoretical Computer Science | 2009-03-25 | Paper |
A Formal Calculus for Informal Equality with Binding
Logic, Language, Information and Computation | 2009-03-10 | Paper |
Curry-Style Types for Nominal Terms
Lecture Notes in Computer Science | 2009-03-10 | Paper |
Nominal Renaming Sets
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
Capture-Avoiding Substitution as a Nominal Algebra
Lecture Notes in Computer Science | 2008-09-11 | Paper |
Capture-avoiding substitution as a nominal algebra
Formal Aspects of Computing | 2008-08-21 | Paper |
One-and-a-halfth-order Logic
Journal Of Logic And Computation | 2008-08-15 | Paper |
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations
Logic, Language, Information and Computation | 2008-07-10 | Paper |
Fresh logic: Proof-theory and semantics for FM and nominal techniques
Journal of Applied Logic | 2007-07-25 | Paper |
Nominal rewriting
Information and Computation | 2007-07-16 | Paper |
A general mathematics of names
Information and Computation | 2007-07-16 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
| scientific article; zbMATH DE number 2154399 (Why is no real title available?) | 2005-04-09 | Paper |
Nominal unification
Theoretical Computer Science | 2004-10-01 | Paper |
A new approach to abstract syntax with variable binding
Formal Aspects of Computing | 2002-09-25 | Paper |
| scientific article; zbMATH DE number 1612495 (Why is no real title available?) | 2001-07-01 | Paper |
