Pages that link to "Item:Q944386"

The following pages link to Uniformity and the Taylor expansion of ordinary lambda-terms (Q944386):

Displaying 39 items.

• A semantic account of strong normalization in linear logic (Q276260) (← links)
• Relational graph models, Taylor expansion and extensionality (Q283769) (← links)
• The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
• A semantic measure of the execution time in linear logic (Q534698) (← links)
• Intuitionistic differential nets and lambda-calculus (Q534707) (← links)
• Differential interaction nets (Q860836) (← links)
• On structural properties of eta-expansions of identity (Q1014452) (← links)
• The bang calculus revisited (Q2039931) (← links)
• Taylor expansion, finiteness and strategies (Q2133165) (← links)
• Non-idempotent intersection types in logical form (Q2200821) (← links)
• The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
• Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms (Q2811355) (← links)
• What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856) (← links)
• A characterization of the Taylor expansion of lambda-terms (Q2958517) (← links)
• A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus (Q2988382) (← links)
• Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
• Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion (Q3007664) (← links)
• Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
• (Q3300796) (← links)
• Parsimonious Types and Non-uniform Computation (Q3449488) (← links)
• Differential Linear Logic and Polarization (Q3637207) (← links)
• An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
• Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
• Jets and differential linear logic (Q4988427) (← links)
• (Q5014806) (← links)
• (Q5028444) (← links)
• (Q5028454) (← links)
• (Q5079739) (← links)
• On the Taylor expansion of probabilistic λ-terms (Q5089013) (← links)
• (Q5094132) (← links)
• (Q5227520) (← links)
• Infinitary affine proofs (Q5268998) (← links)
• Logical Approaches to Computational Barriers (Q5898816) (← links)
• The bang calculus revisited (Q6116183) (← links)
• Coherent differentiation (Q6149933) (← links)
• Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
• Resource approximation for the \(\lambda \mu \)-calculus (Q6649457) (← links)
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)
• A deep inference system for differential linear logic (Q6657782) (← links)