On principal types of combinators (Q1583260): Difference between revisions

@@ Property / author @@
-Sabine Broda
@@ Property / author: Sabine Broda / rank @@
-Normal rank
@@ Property / author @@
-Luís Damas
@@ Property / author: Luís Damas / rank @@
-Normal rank
@@ Property / author @@
+Sabine Broda
@@ Property / author: Sabine Broda / rank @@
+Normal rank
@@ Property / author @@
+Luís Damas
@@ Property / author: Luís Damas / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Q5610115
@@ Property / cites work: Q5610115 / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+BCK-combinators and linear \(\lambda\)-terms have types
+Normal rank
@@ Property / cites work @@
+Principal types of BCK-lambda-terms
@@ Property / cites work: Principal types of BCK-lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on the axiomatics of the propositional calculus
+Normal rank
@@ Property / cites work @@
+Positive logic and \(\lambda\)-constants
@@ Property / cites work: Positive logic and \(\lambda\)-constants / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory abstraction using \({\mathbf B}\), \({\mathbf B}^ \prime\) and friends
+Normal rank
@@ Property / Wikidata QID @@
+Q126436569
@@ Property / Wikidata QID: Q126436569 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(99)00086-9
+Normal rank
@@ Property / OpenAlex ID @@
+W1973325143
@@ Property / OpenAlex ID: W1973325143 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1583260