Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle (Q3991293): Difference between revisions

@@ Property / author @@
-Q752683
@@ Property / author: Q752683 / rank @@
-Normal rank
@@ Property / author @@
+Chantal Berline
@@ Property / author: Chantal Berline / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2408171097
@@ Property / OpenAlex ID: W2408171097 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Retractions of dI-domains as a model for Type:Type
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank