Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus (Q1853595): Difference between revisions

@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703743
@@ Property / cites work: Q2703743 / rank @@
+Normal rank
@@ Property / cites work @@
+A strong normalization result for classical logic
@@ Property / cites work: A strong normalization result for classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342534
@@ Property / cites work: Q3342534 / 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 @@
+Q4954443
@@ Property / cites work: Q4954443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3024836
@@ Property / cites work: Q3024836 / rank @@
+Normal rank
@@ Property / cites work @@
+A syntactic theory of sequential control
@@ Property / cites work: A syntactic theory of sequential control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263869
@@ Property / cites work: Q4263869 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain-Free<i>λµ</i>-Calculus
@@ Property / cites work: Domain-Free<i>λµ</i>-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(01)00380-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1968553947
@@ Property / OpenAlex ID: W1968553947 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1853595