Strong normalization proofs by CPS-translations (Q845711): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2006.03.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2041951938
@@ Property / OpenAlex ID: W2041951938 / rank @@
+Normal rank
@@ Property / cites work @@
+A short proof of the strong normalization of classical natural deduction with disjunction
+Normal rank
@@ Property / cites work @@
+Q3024836
@@ Property / cites work: Q3024836 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778822
@@ Property / cites work: Q2778822 / rank @@
+Normal rank
@@ Property / cites work @@
+On the strong normalisation of intuitionistic natural deduction with permutation-conversions
+Normal rank
@@ Property / cites work @@
+Domain-Free<i>λµ</i>-Calculus
@@ Property / cites work: Domain-Free<i>λµ</i>-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalization from weak normalization by translation into the lambda-I-calculus
+Normal rank
@@ Property / cites work @@
+Q5477358
@@ Property / cites work: Q5477358 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-strictly positive fixed points for classical natural deduction
+Normal rank
@@ Property / cites work @@
+Strong normalization proof with CPS-translation for second order classical natural deduction
+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 / cites work @@
+Q5714454
@@ Property / cites work: Q5714454 / rank @@
+Normal rank