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

Latest revision as of 02:22, 10 December 2024

scientific article

Language	Label	Description	Also known as
English	Representation and duality of the untyped \(\lambda\)-calculus in nominal lattice and topological semantics, with a proof of topological completeness	scientific article

Statements

instance of

scholarly article

0 references

title

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

0 references

0 references

0 references

Annals of Pure and Applied Logic

0 references

publication date

23 December 2016

0 references

full work available at URL

https://arxiv.org/abs/1305.5968

0 references

https://kclpure.kcl.ac.uk/portal/en/publications/representation-and-duality-of-the-untyped-calculus-in-nominal-lattice-and-topological-semantics-with-a-proof-of-topological-completeness(e3e4adea-db08-43bf-b75b-196e9d1715ef).html

0 references

zbMATH Keywords

nominal algebra

0 references

lambda-reduction

0 references

spectral spaces

0 references

fresh-finite limits

0 references

lattices and order

0 references

Fraenkel-Mostowski set theory

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Explicit substitutions

0 references

Topological representation of the λ-calculus

0 references

Pairing Without Conventional Restraints

0 references

Towards nominal computation

0 references

Q3934450

0 references

Q4530231

0 references

PNL to HOL: from the logic of nominal sets to the logic of higher-order functions

0 references

Q4163527

0 references

Nominal rewriting

0 references

Natural deduction and arbitrary objects

0 references

A proof-theoretic treatment of <i>λ</i>-reduction with cut-elimination: <i>λ</i>-calculus as a logic programming language

0 references

A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing

0 references

A general mathematics of names

0 references

Nominal Algebra and the HSP Theorem

0 references

A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets

0 references

Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax

0 references

Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free

0 references

Meta-variables as infinite lists in nominal terms unification and rewriting

0 references

Semantics Out of Context

0 references

Freshness and Name-Restriction in Sets of Traces with Names

0 references

Q3022776

0 references

One-and-a-halfth-order Logic

0 references

Capture-Avoiding Substitution as a Nominal Algebra

0 references

A Formal Calculus for Informal Equality with Binding

0 references

Capture-avoiding substitution as a nominal algebra

0 references

Q3086783

0 references

Nominal (Universal) Algebra: Equational Logic with Names and Binding

0 references

A Nominal Axiomatization of the Lambda Calculus

0 references

A new approach to abstract syntax with variable binding

0 references

Stone Duality for Nominal Boolean Algebras with И

0 references

0 references

0 references

0 references

0 references

0 references

An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus

0 references

The virtues of eta-expansion

0 references

Q3711309

0 references

Q4783274

0 references

Innocent game models of untyped \(\lambda\)-calculus

0 references

On universal algebra over nominal sets

0 references

Q3727946

0 references

Q4693151

0 references

Sheaves in geometry and logic: a first introduction to topos theory

0 references

Applying Universal Algebra to Lambda Calculus

0 references

On the representation theory for cylindric algebras

0 references

Lambda abstraction algebras: representation theorems

0 references

Nominal Sets

0 references

On the algebraic models of lambda calculus

0 references

Topological incompleteness and order incompleteness of the lambda calculus

0 references

Q4510741

0 references

The lambda calculus is algebraic

0 references

Nominal unification

0 references

Q4342068

0 references

Identifiers

zbMATH Open document ID

1422.03023

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

10.1016/J.APAL.2016.10.001

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:730088

@@ Property / DOI @@
-.1016/j.apal.2016.10.001
@@ Property / DOI: 10.1016/j.apal.2016.10.001 / rank @@
-Normal rank
@@ Property / author @@
+Murdoch James Gabbay
@@ Property / author: Murdoch James Gabbay / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2964023069
@@ Property / OpenAlex ID: W2964023069 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5968
@@ Property / arXiv ID: 1305.5968 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Topological representation of the λ-calculus
@@ Property / cites work: Topological representation of the λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Pairing Without Conventional Restraints
@@ Property / cites work: Pairing Without Conventional Restraints / rank @@
+Normal rank
@@ Property / cites work @@
+Towards nominal computation
@@ Property / cites work: Towards nominal computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530231
@@ Property / cites work: Q4530231 / rank @@
+Normal rank
@@ Property / cites work @@
+PNL to HOL: from the logic of nominal sets to the logic of higher-order functions
+Normal rank
@@ Property / cites work @@
+Q4163527
@@ Property / cites work: Q4163527 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal rewriting
@@ Property / cites work: Nominal rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction and arbitrary objects
@@ Property / cites work: Natural deduction and arbitrary objects / rank @@
+Normal rank
@@ Property / cites work @@
+A proof-theoretic treatment of <i>λ</i>-reduction with cut-elimination: <i>λ</i>-calculus as a logic programming language
+Normal rank
@@ Property / cites work @@
+A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing
+Normal rank
@@ Property / cites work @@
+A general mathematics of names
@@ Property / cites work: A general mathematics of names / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Algebra and the HSP Theorem
@@ Property / cites work: Nominal Algebra and the HSP Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
+Normal rank
@@ Property / cites work @@
+Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax
+Normal rank
@@ Property / cites work @@
+Finite and infinite support in nominal algebra and logic: nominal completeness theorems for free
+Normal rank
@@ Property / cites work @@
+Meta-variables as infinite lists in nominal terms unification and rewriting
+Normal rank
@@ Property / cites work @@
+Semantics Out of Context
@@ Property / cites work: Semantics Out of Context / rank @@
+Normal rank
@@ Property / cites work @@
+Freshness and Name-Restriction in Sets of Traces with Names
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+One-and-a-halfth-order Logic
@@ Property / cites work: One-and-a-halfth-order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Capture-Avoiding Substitution as a Nominal Algebra
+Normal rank
@@ Property / cites work @@
+A Formal Calculus for Informal Equality with Binding
+Normal rank
@@ Property / cites work @@
+Capture-avoiding substitution as a nominal algebra
+Normal rank
@@ Property / cites work @@
+Q3086783
@@ Property / cites work: Q3086783 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal (Universal) Algebra: Equational Logic with Names and Binding
+Normal rank
@@ Property / cites work @@
+A Nominal Axiomatization of the Lambda Calculus
@@ Property / cites work: A Nominal Axiomatization of the Lambda Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Stone Duality for Nominal Boolean Algebras with И
+Normal rank
@@ Property / cites work @@
+Q3024906
@@ Property / cites work: Q3024906 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3282928
@@ Property / cites work: Q3282928 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616133
@@ Property / cites work: Q5616133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
+Normal rank
@@ Property / cites work @@
+The virtues of eta-expansion
@@ Property / cites work: The virtues of eta-expansion / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711309
@@ Property / cites work: Q3711309 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783274
@@ Property / cites work: Q4783274 / rank @@
+Normal rank
@@ Property / cites work @@
+Innocent game models of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+On universal algebra over nominal sets
@@ Property / cites work: On universal algebra over nominal sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Applying Universal Algebra to Lambda Calculus
@@ Property / cites work: Applying Universal Algebra to Lambda Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On the representation theory for cylindric algebras
+Normal rank
@@ Property / cites work @@
+Lambda abstraction algebras: representation theorems
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic models of lambda calculus
@@ Property / cites work: On the algebraic models of lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Topological incompleteness and order incompleteness of the lambda calculus
+Normal rank
@@ Property / cites work @@
+Q4510741
@@ Property / cites work: Q4510741 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus is algebraic
@@ Property / cites work: The lambda calculus is algebraic / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal unification
@@ Property / cites work: Nominal unification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342068
@@ Property / cites work: Q4342068 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2016.10.001
@@ Property / DOI: 10.1016/J.APAL.2016.10.001 / rank @@
+Normal rank