Call-by-name extensionality and confluence (Q5372008): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Skew confluence and the lambda calculus with letrec
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4992396
@@ Property / cites work: Q4992396 / 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 @@
+λμ-calculus and Böhm's theorem
@@ Property / cites work: λμ-calculus and Böhm's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The Duality of Construction
@@ Property / cites work: The Duality of Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457453
@@ Property / cites work: Q4457453 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to call-by-name delimited continuations
+Normal rank
@@ Property / cites work @@
+Completeness of continuation models for \(\lambda_\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Unique normal forms for lambda calculus with surjective pairing
+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 @@
+Polarised Intermediate Representation of Lambda Calculus with Sums
+Normal rank
@@ Property / cites work @@
+Reduction System for Extensional Lambda-mu Calculus
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823135
@@ Property / cites work: Q4823135 / 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 @@
+Typing streams in the Λμ-calculus
@@ Property / cites work: Typing streams in the Λμ-calculus / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5372008