Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness

From MaRDI portal
Publication:730088

DOI10.1016/j.apal.2016.10.001zbMath1422.03023arXiv1305.5968OpenAlexW2964023069MaRDI QIDQ730088

Michael Gabbay, Murdoch James Gabbay

Publication date: 23 December 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1305.5968




Related Items



Cites Work