Retractions of dI-domains as a model for Type:Type (Q805221): Difference between revisions

@@ 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.1016/0890-5401(91)90038-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2012308246
@@ Property / OpenAlex ID: W2012308246 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3345748
@@ Property / cites work: Q3345748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3787462
@@ Property / cites work: Q3787462 / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:805221