A finite equational axiomatization of the functional algebras for the lambda calculus (Q1283777): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2021900929
@@ Property / OpenAlex ID: W2021900929 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896520
@@ Property / cites work: Q4896520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837724
@@ Property / cites work: Q3837724 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3785893
@@ Property / cites work: Q3785893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260394
@@ Property / cites work: Q4260394 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatization of polynomial substitution algebras
+Normal rank
@@ Property / cites work @@
+Q4217595
@@ Property / cites work: Q4217595 / rank @@
+Normal rank
@@ Property / cites work @@
+Enlargements of functional algebras for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Q4200260
@@ Property / cites work: Q4200260 / 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 @@
+Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
+Normal rank
@@ Property / cites work @@
+Lambda‐Calculus Models and Extensionality
@@ Property / cites work: Lambda‐Calculus Models and Extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus
@@ Property / cites work: Infinitary lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation Algebras
@@ Property / cites work: Transformation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a model of the lambda calculus?
@@ Property / cites work: What is a model of the lambda calculus? / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraization of quantifier logics, an introductory overview
+Normal rank
@@ Property / cites work @@
+Q3659756
@@ Property / cites work: Q3659756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835611
@@ Property / cites work: Q4835611 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260390
@@ Property / cites work: Q4260390 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda abstraction algebras: representation theorems
+Normal rank
@@ Property / cites work @@
+The abstract variable-binding calculus
@@ Property / cites work: The abstract variable-binding calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837997
@@ Property / cites work: Q3837997 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric Algebras and Algebras of Substitutions
@@ Property / cites work: Cylindric Algebras and Algebras of Substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011732
@@ Property / cites work: Q4011732 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3661543
@@ Property / cites work: Q3661543 / rank @@
+Normal rank