On reduction and normalization in the computational core (Q5879269): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3154396489
@@ Property / OpenAlex ID: W3154396489 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets and the call-by-value \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Open Call-by-Value
@@ Property / cites work: Open Call-by-Value / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-Value Solvability, Revisited
@@ Property / cites work: Call-by-Value Solvability, Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4813222
@@ Property / cites work: Q4813222 / rank @@
+Normal rank
@@ Property / cites work @@
+The bang calculus revisited
@@ Property / cites work: The bang calculus revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A Semantical and Operational Account of Call-by-Value Solvability
+Normal rank
@@ Property / cites work @@
+Q5144664
@@ Property / cites work: Q5144664 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4649551
@@ Property / cites work: Q4649551 / rank @@
+Normal rank
@@ Property / cites work @@
+Enriching an Effect Calculus with Linear Types
@@ Property / cites work: Enriching an Effect Calculus with Linear Types / rank @@
+Normal rank
@@ Property / cites work @@
+Factorization in call-by-name and call-by-value calculi via linear logic
+Normal rank
@@ Property / cites work @@
+Q5018484
@@ Property / cites work: Q5018484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4600771
@@ Property / cites work: Q4600771 / rank @@
+Normal rank
@@ Property / cites work @@
+Head reduction and normalization in a call-by-value lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q5076060
@@ Property / cites work: Q5076060 / 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 @@
+The weak lambda calculus as a reasonable machine
@@ Property / cites work: The weak lambda calculus as a reasonable machine / rank @@
+Normal rank
@@ Property / cites work @@
+Modelling environments in call-by-value programming languages.
+Normal rank
@@ Property / cites work @@
+Q4693151
@@ Property / cites work: Q4693151 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value, call-by-need and the linear lambda calculus
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+A reflection on call-by-value
@@ Property / cites work: A reflection on call-by-value / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by decreasing diagrams
@@ Property / cites work: Confluence by decreasing diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by Decreasing Diagrams
@@ Property / cites work: Confluence by Decreasing Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+The marriage of effects and monads
@@ Property / cites work: The marriage of effects and monads / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5879269