On the semantics of polymorphism (Q1835664): Difference between revisions

@@ 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 @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Modified basic functionality in combinatory logic
@@ Property / cites work: Modified basic functionality in combinatory logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the Semantics of “Data Type”
@@ Property / cites work: On the Semantics of “Data Type” / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+The Principal Type-Scheme of an Object in Combinatory Logic
+Normal rank
@@ Property / cites work @@
+The completeness theorem for typing lambda-terms
@@ Property / cites work: The completeness theorem for typing lambda-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686017
@@ Property / cites work: Q5686017 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathbb{T}^\omega\) as a universal domain
@@ Property / cites work: \(\mathbb{T}^\omega\) as a universal domain / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00289413
+Normal rank
@@ Property / OpenAlex ID @@
+W2008297923
@@ Property / OpenAlex ID: W2008297923 / rank @@
+Normal rank