Intersection-types à la Church (Q2381503): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2042823881
@@ Property / OpenAlex ID: W2042823881 / rank @@
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Q3221961
@@ Property / cites work: Q3221961 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing cubes of typed and type assignment systems
+Normal rank
@@ Property / cites work @@
+Hyperformulae, Parallel Deductions and Intersection Types
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4699351
@@ Property / cites work: Q4699351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142164
@@ Property / cites work: Q3142164 / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Coppo-Dezani types do not correspond to propositional logic
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple type-theoretic foundations for object-oriented programming
+Normal rank
@@ Property / cites work @@
+Intersection Typed λ-calculus
@@ Property / cites work: Intersection Typed λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4783322
@@ Property / cites work: Q4783322 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus with polymorphic and polyvariant flow types
+Normal rank
@@ Property / cites work @@
+Q4738350
@@ Property / cites work: Q4738350 / rank @@
+Normal rank