Pages that link to "Item:Q1103618"
From MaRDI portal
The following pages link to Normal functors, power series and \(\lambda\)-calculus (Q1103618):
Displaying 47 items.
- Semantics of higher-order quantum computation via geometry of interaction (Q345711) (← links)
- Modeling linear logic with implicit functions (Q392296) (← links)
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
- Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
- Linear logic (Q579249) (← links)
- An algebraic approach to stable domains (Q917677) (← links)
- Interpreting a finitary pi-calculus in differential interaction nets (Q979075) (← links)
- On structural properties of eta-expansions of identity (Q1014452) (← links)
- A quantitative interpretation of Girard's System F (Q1107514) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Quantitative domains and infinitary algebras (Q1185015) (← links)
- The logic of structures (Q1196790) (← links)
- Set-theoretical and other elementary models of the \(\lambda\)-calculus (Q1314361) (← links)
- Complexity bounds for container functors and comonads (Q1640987) (← links)
- The bang calculus revisited (Q2039931) (← links)
- Taylor expansion, finiteness and strategies (Q2133165) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- Non-idempotent intersection types in logical form (Q2200821) (← links)
- Weighted models for higher-order computation (Q2216134) (← links)
- Analytic functors between presheaf categories over groupoids (Q2253181) (← links)
- Differential logical relations. II: Increments and derivatives (Q2664934) (← links)
- Continuous Functions on Final Coalgebras (Q2805147) (← links)
- What is a categorical model of the differential and the resource λ-calculi? (Q2888856) (← links)
- Categorical Models for Simply Typed Resource Calculi (Q3178254) (← links)
- A General Class of Models of $\mathcal{H}^*$ (Q3182956) (← links)
- Differential Linear Logic and Polarization (Q3637207) (← links)
- The algebraic lambda calculus (Q3643363) (← links)
- (Q4222829) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- (Q4580329) (← links)
- Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
- Polynomial functors and polynomial monads (Q4902505) (← links)
- (Q5028444) (← links)
- (Q5028454) (← links)
- (Q5076060) (← links)
- (Q5079739) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
- (Q5227520) (← links)
- Indexed containers (Q5371943) (← links)
- Two applications of analytic functors (Q5958294) (← links)
- The bang calculus revisited (Q6116183) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
- Stabilized profunctors and stable species of structures (Q6563041) (← links)
- A Cartesian bicategory of polynomial functors in homotopy type theory (Q6653748) (← links)
