Pages that link to "Item:Q2888856"
From MaRDI portal
The following pages link to What is a categorical model of the differential and the resource \(\lambda \)-calculi? (Q2888856):
Displaying 18 items.
- Relational graph models, Taylor expansion and extensionality (Q283769) (← links)
- Cartesian differential categories as skew enriched categories (Q825992) (← links)
- A simplicial foundation for differential and sector forms in tangent categories (Q1630584) (← links)
- Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378) (← links)
- Constructing differential categories and deconstructing categories of games (Q1951585) (← links)
- Exponential functions in Cartesian differential categories (Q2035864) (← links)
- Full abstraction for resource calculus with tests (Q2915676) (← links)
- What is a model for a semantically linear -calculus? (Q2937685) (← links)
- Cartesian differential categories revisited (Q2973248) (← links)
- Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion (Q3007664) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- (Q4580329) (← links)
- Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
- Jets and differential linear logic (Q4988427) (← links)
- Linearizing Combinators (Q5037747) (← links)
- Categorical models of the differential λ-calculus (Q5108533) (← links)
- (Q5155686) (← links)
- Essential and relational models (Q5269000) (← links)