Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871): Difference between revisions

@@ Property / cites work @@
+A symmetric lambda calculus for classical program extraction
+Normal rank
@@ Property / cites work @@
+Intersection and union types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Lambda terms for natural deduction,  sequent calculus and cut elimination
+Normal rank
@@ Property / cites work @@
+Q2851085
@@ Property / cites work: Q2851085 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473165
@@ Property / cites work: Q4473165 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperformulae, Parallel Deductions and Intersection Types
+Normal rank
@@ Property / cites work @@
+A new type assignment for λ-terms
@@ Property / cites work: A new type assignment for λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Symmetry and Interactivity in Programming
@@ Property / cites work: Symmetry and Interactivity in Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Normalization without reducibility
@@ Property / cites work: Normalization without reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Lambda Calculi and Applications
@@ Property / cites work: Typed Lambda Calculi and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Why the usual candidates of reducibility do not work for the symmetric $\lambda\mu$-calculus
+Normal rank
@@ Property / cites work @@
+The ``relevance'' of intersection and union types
@@ Property / cites work: The ``relevance'' of intersection and union types / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851091
@@ Property / cites work: Q2851091 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Normalization of the Dual Classical Sequent Calculus
+Normal rank
@@ Property / cites work @@
+Q4417863
@@ Property / cites work: Q4417863 / rank @@
+Normal rank
@@ Property / cites work @@
+Tridirectional typechecking
@@ Property / cites work: Tridirectional typechecking / rank @@
+Normal rank
@@ Property / cites work @@
+Coppo-Dezani types do not correspond to propositional logic
+Normal rank
@@ Property / cites work @@
+Q2844073
@@ Property / cites work: Q2844073 / rank @@
+Normal rank
@@ Property / cites work @@
+From Polyvariant flow information to intersection and union types
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Normalization as a homomorphic image of cut-elimination
+Normal rank
@@ Property / cites work @@
+Q4783322
@@ Property / cites work: Q4783322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4163188
@@ Property / cites work: Q4163188 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Q4263882
@@ Property / cites work: Q4263882 / rank @@
+Normal rank
@@ Property / cites work @@
+Principal Type Schemes for the Strict Type Assignment System
+Normal rank
@@ Property / cites work @@
+Call-by-value is dual to call-by-name
@@ Property / cites work: Call-by-value is dual to call-by-name / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus with polymorphic and polyvariant flow types
+Normal rank
@@ Property / cites work @@
+Q4738350
@@ Property / cites work: Q4738350 / rank @@
+Normal rank