Strong normalization from an unusual point of view (Q534700): Difference between revisions

@@ Property / author @@
-Simonetta Ronchi della Rocca
@@ Property / author: Simonetta Ronchi della Rocca / rank @@
-Normal rank
@@ Property / author @@
+Simonetta Ronchi della Rocca
@@ Property / author: Simonetta Ronchi della Rocca / 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.1016/j.tcs.2010.12.018
+Normal rank
@@ Property / OpenAlex ID @@
+W2014545693
@@ Property / OpenAlex ID: W2014545693 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57722170
@@ Property / Wikidata QID: Q57722170 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction in the lazy lambda calculus
@@ Property / cites work: Full abstraction in the lazy lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Type theories, normal forms, and \(D_{\infty}\)-lambda-models
+Normal rank
@@ Property / cites work @@
+Some Properties of Conversion
@@ Property / cites work: Some Properties of Conversion / rank @@
+Normal rank
@@ Property / cites work @@
+The Calculi of Lambda Conversion. (AM-6)
@@ Property / cites work: The Calculi of Lambda Conversion. (AM-6) / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3997125
@@ Property / cites work: Q3997125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Logic and Games for the $$\lambda $$ -Calculus
+Normal rank
@@ Property / cites work @@
+Call-by-value Solvability
@@ Property / cites work: Call-by-value Solvability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448358
@@ Property / cites work: Q4448358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851088
@@ Property / cites work: Q2851088 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric parameter passing \(\lambda\)-calculus
@@ Property / cites work: Parametric parameter passing \(\lambda\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+The parametric lambda calculus. A metamodel for computation.
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+A simple proof of the undecidability of strong normalisation
+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