Finite generation and presentation problems for lambda calculus and combinatory logic (Q2151418): Difference between revisions

@@ Property / author @@
+Richard Statman
@@ Property / author: Richard Statman / rank @@
+Normal rank
@@ 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.1007/978-3-030-93100-1_20
+Normal rank
@@ Property / OpenAlex ID @@
+W4200178879
@@ Property / OpenAlex ID: W4200178879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3728878
@@ Property / cites work: Q3728878 / rank @@
+Normal rank
@@ Property / cites work @@
+On combinatory complete sets   of proper combinators
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4128535
@@ Property / cites work: Q4128535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263881
@@ Property / cites work: Q4263881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5019689
@@ Property / cites work: Q5019689 / rank @@
+Normal rank