Pages that link to "Item:Q1103618"
From MaRDI portal
The following pages link to Normal functors, power series and \(\lambda\)-calculus (Q1103618):
Displaying 29 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)
- (Q5079739) (← links)
- The bang calculus revisited (Q6116183) (← links)
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications (Q6178717) (← links)
