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

@@ Property / DOI @@
-.2178/jsl/1058448444
@@ Property / DOI: 10.2178/jsl/1058448444 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2128981898
@@ Property / OpenAlex ID: W2128981898 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.2178/JSL/1058448444
@@ Property / DOI: 10.2178/JSL/1058448444 / rank @@
+Normal rank