scientific article; zbMATH DE number 2079022
From MaRDI portal
Publication:4474834
Recommendations
Cited in
(69)- Cartesian differential categories as skew enriched categories
- Musings around the geometry of interaction, and coherence
- scientific article; zbMATH DE number 7204444 (Why is no real title available?)
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- An abstract approach to stratification in linear logic
- The logic of linear functors
- Classical linear logic of implications
- Dependent types and fibred computational effects
- scientific article; zbMATH DE number 1948180 (Why is no real title available?)
- Resource modalities in tensor logic
- LNL polycategories and doctrines of linear logic
- A framework for substructural type systems
- A functorial bridge between the infinitary affine lambda-calculus and linear logic
- A concrete model for a typed linear algebraic lambda calculus
- Fibrational modal type theory
- Adjoint reactive GUI programming
- Reverse AD at higher types: pure, principled and denotationally correct
- Semantics of quantum programming languages: Classical control, quantum control
- A categorical reduction system for linear logic
- A linear/producer/consumer model of classical linear logic
- Domain theory for concurrency
- Classical control, quantum circuits and linear logic in enriched category theory
- Relating categorical semantics for intuitionistic linear logic
- Jets and differential linear logic
- Linear logic model of state revisited
- Parametrized fixed points and their applications to session types
- Modality via iterated enrichment
- A categorical construction for the computational definition of vector spaces
- Semantics of weakening and contraction
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- On the Lambek calculus with an exchange modality
- A mixed \(\lambda\)-calculus
- The syntactic side of autonomous categories enriched over generalised metric spaces
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- Adjoint logic with a 2-category of modes
- Safe session-based concurrency with shared linear state
- A message-passing interpretation of adjoint logic
- Semantics for a lambda calculus for string diagrams
- scientific article; zbMATH DE number 7350775 (Why is no real title available?)
- Categories for computation in context and unified logic
- scientific article; zbMATH DE number 7439427 (Why is no real title available?)
- scientific article; zbMATH DE number 7454912 (Why is no real title available?)
- On classical PCF, linear logic and the MIX rule
- scientific article; zbMATH DE number 7407795 (Why is no real title available?)
- Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
- scientific article; zbMATH DE number 2185654 (Why is no real title available?)
- Presheaf models of quantum computation: an outline
- Semantics of higher-order quantum computation via geometry of interaction
- Doctrines, modalities and comonads
- Categorical proof theory of co-intuitionistic linear logic
- Comparing hierarchies of types in models of linear logic
- Exponentials as substitutions and the cost of cut elimination in linear logic
- Linear Logic Properly Displayed
- The logic of message-passing
- Session Types with Arithmetic Refinements
- Sheaf representation of monoidal categories
- A categorical model for a quantum circuit description language (extended abstract)
- Back to futures
- Linearity and uniqueness: an entente cordiale
- scientific article; zbMATH DE number 1722655 (Why is no real title available?)
- scientific article; zbMATH DE number 1678365 (Why is no real title available?)
- scientific article; zbMATH DE number 720881 (Why is no real title available?)
- A universal session type for untyped asynchronous communication
- Enriching an Effect Calculus with Linear Types
- scientific article; zbMATH DE number 1512620 (Why is no real title available?)
- Localisation and interaction in one dimension
- Linear exponential comonads without symmetry
- Modal crash types for intermittent computing
- Type-safe quantum programming in Idris
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4474834)
