Q3890661 (Q3890661): Difference between revisions

@@ Property / describes a project that uses @@
+ALGOL 60
@@ Property / describes a project that uses: ALGOL 60 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109650
@@ Property / cites work: Q4109650 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133598
@@ Property / cites work: Q4133598 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+A new type assignment for λ-terms
@@ Property / cites work: A new type assignment for λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138712
@@ Property / cites work: Q4138712 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198724
@@ Property / cites work: Q4198724 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondence between ALGOL 60 and Church's Lambda-notation
+Normal rank
@@ Property / cites work @@
+Q4124820
@@ Property / cites work: Q4124820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4125727
@@ Property / cites work: Q4125727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4171548
@@ Property / cites work: Q4171548 / rank @@
+Normal rank
@@ Property / cites work @@
+Types in combinatory logic
@@ Property / cites work: Types in combinatory logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4163188
@@ Property / cites work: Q4163188 / rank @@
+Normal rank