| Publication | Date of Publication | Type |
|---|
| Algebras of UTxO blockchains | 2022-06-24 | Paper |
| Equivariant ZFA and the foundations of nominal techniques | 2020-06-04 | Paper |
| Semantics Out of Context | 2018-08-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4643959 | 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 | 2016-12-23 | Paper |
| Nominal SOS | 2016-07-08 | Paper |
| Game Semantics in the Nominal Model | 2016-07-08 | Paper |
| Quantifiers in logic and proof-search using permissive-nominal terms and sets | 2015-10-20 | Paper |
| Permissive-nominal logic | 2015-09-17 | Paper |
| FreshML | 2015-07-02 | Paper |
| Two-level Lambda-calculus | 2015-04-09 | Paper |
| Consistency of Quine's New Foundations | 2014-06-16 | Paper |
| a-Logic With Arrows | 2014-03-26 | Paper |
| Imaginary groups: lazy monoids and reversible computation | 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 | 2013-05-02 | Paper |
| Meta-variables as infinite lists in nominal terms unification and rewriting | 2013-04-17 | Paper |
| PNL to HOL: from the logic of nominal sets to the logic of higher-order functions | 2012-10-11 | Paper |
| Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free | 2012-09-19 | Paper |
| Corrigendum to ``Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms | 2012-05-24 | Paper |
| Unity in nominal equational reasoning: the algebra of equality on nominal sets | 2012-05-23 | Paper |
| Two-level nominal sets and semantic nominal terms: an extension of nominal set theory for handling meta-variables | 2011-10-21 | Paper |
| Stone Duality for Nominal Boolean Algebras with И | 2011-09-02 | Paper |
| Principal Types for Nominal Theories | 2011-08-19 | Paper |
| Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax | 2011-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007265 | 2011-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3007266 | 2011-06-21 | Paper |
| Freshness and Name-Restriction in Sets of Traces with Names | 2011-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086783 | 2011-03-30 | Paper |
| A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing | 2011-01-07 | Paper |
| Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques | 2010-12-14 | Paper |
| A Nominal Axiomatization of the Lambda Calculus | 2010-04-21 | Paper |
| Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms | 2010-04-14 | Paper |
| Nominal (Universal) Algebra: Equational Logic with Names and Binding | 2010-01-14 | Paper |
| The lambda-context calculus (extended version) | 2009-12-11 | Paper |
| Nominal Algebra and the HSP Theorem | 2009-04-16 | Paper |
| A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets | 2009-03-25 | Paper |
| A Formal Calculus for Informal Equality with Binding | 2009-03-10 | Paper |
| Curry-Style Types for Nominal Terms | 2009-03-10 | Paper |
| Nominal Renaming Sets | 2009-01-27 | Paper |
| Capture-Avoiding Substitution as a Nominal Algebra | 2008-09-11 | Paper |
| Capture-avoiding substitution as a nominal algebra | 2008-08-21 | Paper |
| One-and-a-halfth-order Logic | 2008-08-15 | Paper |
| One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations | 2008-07-10 | Paper |
| Fresh logic: Proof-theory and semantics for FM and nominal techniques | 2007-07-25 | Paper |
| Nominal rewriting | 2007-07-16 | Paper |
| A general mathematics of names | 2007-07-16 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4664925 | 2005-04-09 | Paper |
| Nominal unification | 2004-10-01 | Paper |
| A new approach to abstract syntax with variable binding | 2002-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2721104 | 2001-07-01 | Paper |
