Strong normalization proof with CPS-translation for second order classical natural deduction (Q4650260): Difference between revisions

@@ Property / cites work @@
+Q4954443
@@ Property / cites work: Q4954443 / 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 @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Call-by-name, call-by-value and the \(\lambda\)-calculus
+Normal rank