Q5208874 (Q5208874): Difference between revisions

@@ Property / cites work @@
+A nonstandard standardization theorem
@@ Property / cites work: A nonstandard standardization theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The Structural λ-Calculus
@@ Property / cites work: The Structural λ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5351984
@@ Property / cites work: Q5351984 / rank @@
+Normal rank
@@ Property / cites work @@
+Church-Rosser property of a simple reduction for full first-order classical natural deduction
+Normal rank
@@ Property / cites work @@
+Classical Call-by-Need and Duality
@@ Property / cites work: Classical Call-by-Need and Duality / rank @@
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus
+Normal rank
@@ Property / cites work @@
+Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types
+Normal rank
@@ Property / cites work @@
+Non-idempotent intersection types and strong normalisation
+Normal rank
@@ Property / cites work @@
+The Inhabitation Problem for Non-idempotent Intersection Types
+Normal rank
@@ Property / cites work @@
+Non-idempotent intersection types for the Lambda-Calculus
+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 @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+A short proof of the strong normalization of classical natural deduction with disjunction
+Normal rank
@@ Property / cites work @@
+Q4993853
@@ Property / cites work: Q4993853 / rank @@
+Normal rank
@@ Property / cites work @@
+Execution time of λ-terms via denotational semantics and intersection types
+Normal rank
@@ Property / cites work @@
+Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
+Normal rank
@@ Property / cites work @@
+Q4649551
@@ Property / cites work: Q4649551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4490749
@@ Property / cites work: Q4490749 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3791120
@@ Property / cites work: Q3791120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4968488
@@ Property / cites work: Q4968488 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Explicit Substitutions with Safe and Full Composition
+Normal rank
@@ Property / cites work @@
+Reasoning About Call-by-need by Means of Types
@@ Property / cites work: Reasoning About Call-by-need by Means of Types / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Types for the Linear Substitution Calculus
+Normal rank
@@ Property / cites work @@
+A Resource Aware Computational Interpretation for Herbelin’s Syntax
+Normal rank
@@ Property / cites work @@
+Q5208874
@@ Property / cites work: Q5208874 / rank @@
+Normal rank
@@ Property / cites work @@
+A linearization of the Lambda-calculus and consequences
+Normal rank
@@ Property / cites work @@
+Principality and type inference for intersection types using expansion variables
+Normal rank
@@ Property / cites work @@
+A Translation of Intersection and Union Types for the λμ-Calculus
+Normal rank
@@ Property / cites work @@
+Q4274979
@@ Property / cites work: Q4274979 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional Characters of Solvable Terms
@@ Property / cites work: Functional Characters of Solvable Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Types, potency, and idempotency
@@ Property / cites work: Types, potency, and idempotency / rank @@
+Normal rank
@@ Property / cites work @@
+Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1--3, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Verifying higher-order functional programs with pattern-matching algebraic data types
+Normal rank
@@ Property / cites work @@
+Solvability in Resource Lambda-Calculus
@@ Property / cites work: Solvability in Resource Lambda-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical By-Need
@@ Property / cites work: Classical By-Need / rank @@
+Normal rank
@@ Property / cites work @@
+Control categories and duality: on the categorical semantics of the lambda-mu calculus
+Normal rank
@@ Property / cites work @@
+The emptiness problem for intersection types
@@ Property / cites work: The emptiness problem for intersection types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4964690
@@ Property / cites work: Q4964690 / rank @@
+Normal rank
@@ Property / cites work @@
+A Filter Model for the λμ-Calculus
@@ Property / cites work: A Filter Model for the λμ-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4993849
@@ Property / cites work: Q4993849 / rank @@
+Normal rank
@@ Property / cites work @@
+Perpetual reductions in \(\lambda\)-calculus
@@ Property / cites work: Perpetual reductions in \(\lambda\)-calculus / rank @@
+Normal rank