Pages that link to "Item:Q4792972"

The following pages link to On Köthe sequence spaces and linear logic (Q4792972):

Displaying 28 items.

• Visible acyclic differential nets. I: Semantics (Q409321) (← links)
• The Scott model of linear logic is the extensional collapse of its relational model (Q418011) (← links)
• Deep inference and probabilistic coherence spaces (Q452333) (← links)
• Quantum computation: from a programmer's perspective (Q468591) (← links)
• Intuitionistic differential nets and lambda-calculus (Q534707) (← links)
• Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253) (← links)
• Differential interaction nets (Q860836) (← links)
• Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378) (← links)
• The differential lambda-calculus (Q1884894) (← links)
• Differential structure, tangent structure, and SDG (Q2015833) (← links)
• Cartesian integral categories and contextual integral categories (Q2134825) (← links)
• Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
• The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
• Weak topologies for linear logic (Q2794670) (← links)
• An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
• An explicit formula for the free exponential modality of linear logic (Q4577986) (← links)
• Mackey-complete spaces and power series – a topological model of differential linear logic (Q4606699) (← links)
• On Banach spaces of sequences and free linear logic exponential modality (Q4611198) (← links)
• Jets and differential linear logic (Q4988427) (← links)
• (Q5028444) (← links)
• (Q5079739) (← links)
• (Q5094132) (← links)
• Categorical models of the differential λ-calculus (Q5108533) (← links)
• Cofree coalgebras and differential linear logic (Q5139287) (← links)
• Models of Linear Logic based on the Schwartz $\varepsilon$-product (Q5207357) (← links)
• Holomorphic models of exponential types in linear logic (Q5890062) (← links)
• A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces (Q6145528) (← links)
• Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings (Q6649497) (← links)