Abstracting models of strong normalization for classical calculi (Q2291828): Difference between revisions

@@ Property / DOI @@
-.1016/j.jlamp.2019.100512
@@ Property / DOI: 10.1016/j.jlamp.2019.100512 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2995413974
@@ Property / OpenAlex ID: W2995413974 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical Call-by-Need and Duality
@@ Property / cites work: Classical Call-by-Need and Duality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490745
@@ Property / cites work: Q4490745 / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+The Duality of Computation under Focus
@@ Property / cites work: The Duality of Computation under Focus / rank @@
+Normal rank
@@ Property / cites work @@
+Why the usual candidates of reducibility do not work for the symmetric $\lambda\mu$-calculus
+Normal rank
@@ Property / cites work @@
+The Duality of Construction
@@ Property / cites work: The Duality of Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Structures for structural recursion
@@ Property / cites work: Structures for structural recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform strong normalization for multi-discipline calculi
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form
+Normal rank
@@ Property / cites work @@
+A call-by-name lambda-calculus machine
@@ Property / cites work: A call-by-name lambda-calculus machine / rank @@
+Normal rank
@@ Property / cites work @@
+Classical \(F_{\omega}\), orthogonality and symmetric candidates
+Normal rank
@@ Property / cites work @@
+Realizability interpretation and normalization of typed call-by-need \(\lambda\)-calculus with control
+Normal rank
@@ Property / cites work @@
+Focalisation and Classical Realisability
@@ Property / cites work: Focalisation and Classical Realisability / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric polymorphism and operational equivalence
+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 @@
+Call-by-value is dual to call-by-name
@@ Property / cites work: Call-by-value is dual to call-by-name / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic approach to type soundness
@@ Property / cites work: A syntactic approach to type soundness / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126532454
@@ Property / Wikidata QID: Q126532454 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JLAMP.2019.100512
@@ Property / DOI: 10.1016/J.JLAMP.2019.100512 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2291828