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 - Netherlands
doi 10.1016/j.apal.2016.10.001
Full Text
Abstract

Available in full text

Categories
Logic
Date
Authors
Publisher

Elsevier BV

Related search

Duality in Topological Algebra

Bulletin of the Australian Mathematical Society
Mathematics
1978English

Topological T-Duality and T-Folds

Advances in Theoretical and Mathematical Physics
MathematicsAstronomyPhysics
2009English

Λ-Ib-Sets in Topological Space

International Journal of Scientific Research in Science and Technology
2019English

Strong Completeness of the Lambek Calculus With Respect to Relational Semantics

Banach Center Publications
1993English

Topological Representation of Semigroups

1967English

Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed Λ-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

A Topological Proof of the Equivariant Dehn Lemma

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1986English

Topological Gravity on a Lattice

2011English

Quasihomeomorphisms and Lattice Equivalent Topological Spaces

Applied General Topology
GeometryTopology
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy