scientific article
From MaRDI portal
Publication:3024825
zbMath1063.03534MaRDI QIDQ3024825
Publication date: 4 July 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Categorical logic, topoi (03G30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items
Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ Comparing hierarchies of types in models of linear logic ⋮ The differential lambda-calculus ⋮ Cartesian integral categories and contextual integral categories ⋮ Modality via iterated enrichment ⋮ The convex powerdomain in a category of posets realized by cpos ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Unnamed Item ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Transport of finiteness structures and applications ⋮ Execution time of λ-terms via denotational semantics and intersection types ⋮ Linear Exponential Comonads without Symmetry ⋮ Multigames and strategies, coalgebraically ⋮ Unnamed Item ⋮ Glueing and orthogonality for models of linear logic ⋮ The Scott model of linear logic is the extensional collapse of its relational model ⋮ Integral categories and calculus categories ⋮ Unnamed Item ⋮ Convenient antiderivatives for differential linear categories ⋮ A linear/producer/consumer model of classical linear logic ⋮ Equational theories for inductive types ⋮ Categories for computation in context and unified logic ⋮ Musings around the geometry of interaction, and coherence ⋮ Presheaf Models of Quantum Computation: An Outline ⋮ On phase semantics and denotational semantics: The exponentials ⋮ Linear realizability and full completeness for typed lambda-calculi ⋮ Relating categorical semantics for intuitionistic linear logic ⋮ Proof theory in the abstract ⋮ Two applications of analytic functors ⋮ Call-By-Push-Value from a Linear Logic Point of View ⋮ Game Semantics for Access Control ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Differential Linear Logic and Polarization ⋮ Differential categories revisited ⋮ Two-level languages for program optimization ⋮ Poset-valued sets or how to build models for linear logics ⋮ Jets and differential linear logic ⋮ Non-Uniform Hypercoherences ⋮ A Categorical Semantics of Higher Order Store ⋮ Sequential algorithms and strongly stable functions ⋮ An abstract approach to stratification in linear logic
