A construction of one-point bases in extended lambda calculi (Q1029098): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2003.12.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2014251051
@@ Property / OpenAlex ID: W2014251051 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56138477
@@ Property / Wikidata QID: Q56138477 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686017
@@ Property / cites work: Q5686017 / rank @@
+Normal rank
@@ Property / cites work @@
+An adequate and efficient left-associated binary numeral system in the λ-calculus
+Normal rank
@@ Property / cites work @@
+Gödelization in the lambda calculus
@@ Property / cites work: Gödelization in the lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Revised report on the algorithmic language scheme
@@ Property / cites work: Revised report on the algorithmic language scheme / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof for Craig's theorem
@@ Property / cites work: A new proof for Craig's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank