Gabbay, Murdoch J.; Ghica, Dan R.; Petrisan, Daniela Leaving the nest: nominal techniques for variables with interleaving scopes. (English) Zbl 1373.68179 Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 374-389 (2015). MSC: 68N30 68N18 68Q55 PDFBibTeX XMLCite \textit{M. J. Gabbay} et al., LIPIcs -- Leibniz Int. Proc. Inform. 41, 374--389 (2015; Zbl 1373.68179) Full Text: DOI
Gabbay, Murdoch; Ghica, Dan Game semantics in the nominal model. (English) Zbl 1342.68195 Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 173-189 (2012). MSC: 68Q55 03B70 91A80 PDFBibTeX XMLCite \textit{M. Gabbay} and \textit{D. Ghica}, Electron. Notes Theor. Comput. Sci. 286, 173--189 (2012; Zbl 1342.68195) Full Text: DOI
Dowek, Gilles; Gabbay, Murdoch J. Permissive-nominal logic: first-order logic over nominal terms and sets. (English) Zbl 1352.03042 ACM Trans. Comput. Log. 13, No. 3, Article No. 20, 36 p. (2012). MSC: 03B70 PDFBibTeX XMLCite \textit{G. Dowek} and \textit{M. J. Gabbay}, ACM Trans. Comput. Log. 13, No. 3, Article No. 20, 36 p. (2012; Zbl 1352.03042) Full Text: DOI
Dowek, Gilles; Gabbay, Murdoch J. PNL to HOL: from the logic of nominal sets to the logic of higher-order functions. (English) Zbl 1309.03013 Theor. Comput. Sci. 451, 38-69 (2012). MSC: 03B70 68N18 PDFBibTeX XMLCite \textit{G. Dowek} and \textit{M. J. Gabbay}, Theor. Comput. Sci. 451, 38--69 (2012; Zbl 1309.03013) Full Text: DOI arXiv
Gabbay, Murdoch J. Unity in nominal equational reasoning: the algebra of equality on nominal sets. (English) Zbl 1239.03019 J. Appl. Log. 10, No. 2, 199-217 (2012). MSC: 03B70 PDFBibTeX XMLCite \textit{M. J. Gabbay}, J. Appl. Log. 10, No. 2, 199--217 (2012; Zbl 1239.03019) Full Text: DOI
Gabbay, Murdoch J. Nominal algebra and the HSP theorem. (English) Zbl 1163.03017 J. Log. Comput. 19, No. 2, 341-367 (2009). MSC: 03C05 03B70 PDFBibTeX XMLCite \textit{M. J. Gabbay}, J. Log. Comput. 19, No. 2, 341--367 (2009; Zbl 1163.03017) Full Text: DOI
Gabbay, Murdoch J.; Hofmann, Martin Nominal renaming sets. (English) Zbl 1182.03065 Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 158-173 (2008). MSC: 03B70 03G30 68Q65 PDFBibTeX XMLCite \textit{M. J. Gabbay} and \textit{M. Hofmann}, Lect. Notes Comput. Sci. 5330, 158--173 (2008; Zbl 1182.03065) Full Text: DOI
Gabbay, Murdoch J. A general mathematics of names. (English) Zbl 1123.03047 Inf. Comput. 205, No. 7, 982-1011 (2007). MSC: 03E70 03B70 03D70 68N30 PDFBibTeX XMLCite \textit{M. J. Gabbay}, Inf. Comput. 205, No. 7, 982--1011 (2007; Zbl 1123.03047) Full Text: DOI