Strong normalization results by translation (Q636353): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2010.02.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2086157169
@@ Property / OpenAlex ID: W2086157169 / rank @@
+Normal rank
@@ Property / cites work @@
+A short proof of the strong normalization of classical natural deduction with disjunction
+Normal rank
@@ Property / cites work @@
+An Arithmetical Proof of the Strong Normalization for the λ-Calculus with Recursive Equations on Types
+Normal rank
@@ Property / cites work @@
+Q2778822
@@ Property / cites work: Q2778822 / rank @@
+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 @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Strong normalization of classical natural deduction with disjunctions
+Normal rank
@@ Property / cites work @@
+A semantical proof of the strong normalization theorem for full propositional 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 @@
+Simple Saturated Sets for Disjunction and Second-Order Existential Quantification
+Normal rank
@@ Property / cites work @@
+Short Proofs of Strong Normalization
@@ Property / cites work: Short Proofs of Strong Normalization / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:636353