Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming (Q3007669): 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.1007/978-3-642-21691-6_19
+Normal rank
@@ Property / OpenAlex ID @@
+W1241964149
@@ Property / OpenAlex ID: W1241964149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715213
@@ Property / cites work: Q4715213 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection type assignment systems
@@ Property / cites work: Intersection type assignment systems / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-elimination in the strict intersection type assignment system is strongly normalizing
+Normal rank
@@ Property / cites work @@
+Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\)
+Normal rank
@@ Property / cites work @@
+Logical equivalence for subtyping object and recursive types
+Normal rank
@@ Property / cites work @@
+Normalization results for typeable rewrite systems
+Normal rank
@@ Property / cites work @@
+Normalization, approximation, and semantics for combinator systems
+Normal rank
@@ Property / cites work @@
+Modular control-flow analysis with rank 2 intersection types
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Operations on records
@@ Property / cites work: Operations on records / rank @@
+Normal rank
@@ Property / cites work @@
+A semantics of multiple inheritance
@@ Property / cites work: A semantics of multiple inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Functional Characters of Solvable Terms
@@ Property / cites work: Functional Characters of Solvable Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246944
@@ Property / cites work: Q4246944 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4322072
@@ Property / cites work: Q4322072 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4414731
@@ Property / cites work: Q4414731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank