Enlargements of functional algebras for the lambda calculus (Q1129261): Difference between revisions

@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / cites work @@
+A set of postulates for the foundation of logic. II
+Normal rank
@@ Property / cites work @@
+Q4132530
@@ Property / cites work: Q4132530 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4217595
@@ Property / cites work: Q4217595 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda‐Calculus Models and Extensionality
@@ Property / cites work: Lambda‐Calculus Models and Extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3708229
@@ Property / cites work: Q3708229 / 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 @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / 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 @@
+Nonfinitizability of classes of representable cylindric algebras
+Normal rank
@@ Property / cites work @@
+A constructive approach to nonstandard analysis
@@ Property / cites work: A constructive approach to nonstandard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A Powerdomain Construction
@@ Property / cites work: A Powerdomain Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical and other elementary models of the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4835611
@@ Property / cites work: Q4835611 / rank @@
+Normal rank
@@ Property / cites work @@
+Lambda abstraction algebras: representation theorems
+Normal rank
@@ Property / cites work @@
+Q4744268
@@ Property / cites work: Q4744268 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-standard analysis
@@ Property / cites work: Non-standard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A finite equational axiomatization of the functional algebras for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank