Some properties of the -calculus (Q4583170): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1080/11663081.2012.705963
+Normal rank
@@ Property / OpenAlex ID @@
+W2041147217
@@ Property / OpenAlex ID: W2041147217 / rank @@
+Normal rank
@@ Property / cites work @@
+A normalization-procedure for the first order classical natural deduction with full logical symbols
+Normal rank
@@ Property / cites work @@
+Church-Rosser property of a simple reduction for full first-order classical natural deduction
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4850465
@@ Property / cites work: Q4850465 / rank @@
+Normal rank
@@ Property / cites work @@
+A short proof of the strong normalization of classical natural deduction with disjunction
+Normal rank
@@ Property / cites work @@
+Q4938597
@@ Property / cites work: Q4938597 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778822
@@ Property / cites work: Q2778822 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalization proofs by CPS-translations
@@ Property / cites work: Strong normalization proofs by CPS-translations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723897
@@ Property / cites work: Q2723897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-strictly positive fixed points for classical natural deduction
+Normal rank
@@ Property / cites work @@
+A semantical proof of the strong normalization theorem for full propositional classical natural deduction
+Normal rank
@@ Property / cites work @@
+Confluency property of the call-by-value $\lambda\mu^{\wedge \vee}$-calculus
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank