Pages that link to "Item:Q5898816"
From MaRDI portal
The following pages link to Logical Approaches to Computational Barriers (Q5898816):
Displaying 26 items.
- A semantic account of strong normalization in linear logic (Q276260) (← links)
- Relational graph models, Taylor expansion and extensionality (Q283769) (← links)
- A semantic measure of the execution time in linear logic (Q534698) (← links)
- Uniformity and the Taylor expansion of ordinary lambda-terms (Q944386) (← links)
- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms (Q2811355) (← links)
- The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus (Q2820681) (← links)
- A characterization of the Taylor expansion of lambda-terms (Q2958517) (← links)
- Böhm trees as higher-order recursion schemes (Q2963900) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- (Q3300796) (← links)
- Differential Linear Logic and Polarization (Q3637207) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4580329) (← links)
- Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: <i>a minimalist approach</i> (Q4637628) (← links)
- (Q5014806) (← links)
- (Q5015215) (← links)
- (Q5028454) (← links)
- On the Taylor expansion of probabilistic λ-terms (Q5089013) (← links)
- (Q5094132) (← links)
- (Q5227520) (← links)
- Classical lambda calculus in modern dress (Q5269006) (← links)
- Coherent differentiation (Q6149933) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
- A deep inference system for differential linear logic (Q6657782) (← links)
