Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Murdoch J. Gabbay
Representation and Duality of the Untyped Λ-Calculus in Nominal Lattice and Topological Semantics, With a Proof of Topological Completeness
Annals of Pure and Applied Logic
Logic
Permissive Nominal Terms and Their Unification: An Infinite, Co-Infinite Approach to Nominal Techniques
Logic Journal of the IGPL
Philosophy
Related publications
Duality in Topological Algebra
Bulletin of the Australian Mathematical Society
Mathematics
Topological T-Duality and T-Folds
Advances in Theoretical and Mathematical Physics
Mathematics
Astronomy
Physics
Λ-Ib-Sets in Topological Space
International Journal of Scientific Research in Science and Technology
Strong Completeness of the Lambek Calculus With Respect to Relational Semantics
Banach Center Publications
Topological Representation of Semigroups
Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed Λ-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Topological Proof of the Equivariant Dehn Lemma
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Topological Gravity on a Lattice
Quasihomeomorphisms and Lattice Equivalent Topological Spaces
Applied General Topology
Geometry
Topology
