Alpha-conversion and typability (Q1854262): Difference between revisions

@@ Property / DOI @@
-.1006/inco.1998.2756
@@ Property / DOI: 10.1006/inco.1998.2756 / rank @@
-Normal rank
@@ Property / author @@
-Simonetta Ronchi della Rocca
@@ Property / author: Simonetta Ronchi della Rocca / rank @@
-Normal rank
@@ Property / author @@
-Paweł Urzyczyn
@@ Property / author: Paweł Urzyczyn / rank @@
-Normal rank
@@ Property / author @@
+Simonetta Ronchi della Rocca
@@ Property / author: Simonetta Ronchi della Rocca / rank @@
+Normal rank
@@ Property / author @@
+Paweł Urzyczyn
@@ Property / author: Paweł Urzyczyn / 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.1006/inco.1998.2756
+Normal rank
@@ Property / OpenAlex ID @@
+W2028243582
@@ Property / OpenAlex ID: W2028243582 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385533
@@ Property / cites work: Q4385533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142164
@@ Property / cites work: Q3142164 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely stratified polymorphism
@@ Property / cites work: Finitely stratified polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Some lambda calculus and type theory formalized
@@ Property / cites work: Some lambda calculus and type theory formalized / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / cites work @@
+Type reconstruction in F<sub>ω</sub>
@@ Property / cites work: Type reconstruction in F<sub>ω</sub> / rank @@
+Normal rank
@@ Property / DOI @@
+.1006/INCO.1998.2756
@@ Property / DOI: 10.1006/INCO.1998.2756 / rank @@
+Normal rank