Gabbay, Murdoch J.; Gabbay, Michael Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness. (English) Zbl 1422.03023 Ann. Pure Appl. Logic 168, No. 3, 501-621 (2017). MSC: 03B40 06D50 03C55 03G25 PDFBibTeX XMLCite \textit{M. J. Gabbay} and \textit{M. Gabbay}, Ann. Pure Appl. Logic 168, No. 3, 501--621 (2017; Zbl 1422.03023) Full Text: DOI arXiv Link
Gabbay, Michael Term sequent logic. (English) Zbl 1347.68050 Falaschi, Moreno (ed.), Proceedings of the 17th international workshop on functional and (constraint) logic programming (WFLP 2008), Siena, Italy, July 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 246, 87-106 (2009). MSC: 68N18 03B40 03B70 03F05 68N17 68T15 PDFBibTeX XMLCite \textit{M. Gabbay}, Electron. Notes Theor. Comput. Sci. 246, 87--106 (2009; Zbl 1347.68050) Full Text: DOI