Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2004.04.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2020997960
@@ Property / OpenAlex ID: W2020997960 / 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 @@
+A strong normalization result for classical logic
@@ Property / cites work: A strong normalization result for classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+A symmetric lambda calculus for classical program extraction
+Normal rank
@@ Property / cites work @@
+A new deconstructive logic: linear logic
@@ Property / cites work: A new deconstructive logic: linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4954443
@@ Property / cites work: Q4954443 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus
+Normal rank
@@ Property / cites work @@
+The value of a classical integer in \(\lambda \mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282613
@@ Property / cites work: Q4282613 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of strong normalisation for second order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Q2753693
@@ Property / cites work: Q2753693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623646
@@ Property / cites work: Q5623646 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic, continuation semantics and abstract machines
+Normal rank