%0 Journal Article %1 journals/apal/GabbayG17 %A Gabbay, Murdoch James %A Gabbay, Michael %D 2017 %J Ann. Pure Appl. Log. %K dblp %N 3 %P 501-621 %T Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness. %U http://dblp.uni-trier.de/db/journals/apal/apal168.html#GabbayG17 %V 168

@article{journals/apal/GabbayG17, added-at = {2020-10-26T00:00:00.000+0100}, author = {Gabbay, Murdoch James and Gabbay, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2ba5e1aedeff8f75affbde54fda4582d4/dblp}, ee = {https://doi.org/10.1016/j.apal.2016.10.001}, interhash = {c7c91cf2cc9a93f8b0d07455dd8bb5f1}, intrahash = {ba5e1aedeff8f75affbde54fda4582d4}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 3, pages = {501-621}, timestamp = {2020-10-27T12:43:26.000+0100}, title = {Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal168.html#GabbayG17}, volume = 168, year = 2017 }