Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717): Difference between revisions

@@ Property / cites work @@
+A very modal model of a modern, major, general type system
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Not Enough Points Is Enough
@@ Property / cites work: Not Enough Points Is Enough / rank @@
+Normal rank
@@ Property / cites work @@
+A relational semantics for parallelism and non-determinism in a functional setting
+Normal rank
@@ Property / cites work @@
+Taylor expansion for Call-By-Push-Value
@@ Property / cites work: Taylor expansion for Call-By-Push-Value / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+A Coinductive Confluence Proof for Infinitary Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+Q5109521
@@ Property / cites work: Q5109521 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Taylor expansion of probabilistic λ-terms
@@ Property / cites work: On the Taylor expansion of probabilistic λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic operational semantics for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformity and the Taylor expansion of ordinary lambda-terms
+Normal rank
@@ Property / cites work @@
+Q2957694
@@ Property / cites work: Q2957694 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach to abstract syntax with variable binding
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4842966
@@ Property / cites work: Q4842966 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3784044
@@ Property / cites work: Q3784044 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence of the coinductive \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Meaningless terms in rewriting
@@ Property / cites work: Meaningless terms in rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculi and böhm models
@@ Property / cites work: Infinitary lambda calculi and böhm models / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus
@@ Property / cites work: Infinitary lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3300796
@@ Property / cites work: Q3300796 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical coinduction
@@ Property / cites work: Practical coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+An Alpha-Corecursion Principle for the Infinitary Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Q4101795
@@ Property / cites work: Q4101795 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretical models of lambda-calculus: theories, expansions, isomorphisms
+Normal rank
@@ Property / cites work @@
+Inductive types and type constraints in the second-order lambda calculus
+Normal rank
@@ Property / cites work @@
+Q5028454
@@ Property / cites work: Q5028454 / rank @@
+Normal rank
@@ Property / cites work @@
+Nominal Sets
@@ Property / cites work: Nominal Sets / rank @@
+Normal rank
@@ Property / cites work @@
+On the algebraic models of lambda calculus
@@ Property / cites work: On the algebraic models of lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Types for Hereditary Head Normalizing Terms
@@ Property / cites work: Types for Hereditary Head Normalizing Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Taylor expansion, β-reduction and normalization
@@ Property / cites work: Taylor expansion, β-reduction and normalization / rank @@
+Normal rank
@@ Property / cites work @@
+Q5227520
@@ Property / cites work: Q5227520 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5144650
@@ Property / cites work: Q5144650 / rank @@
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank