scientific article; zbMATH DE number 2079022
From MaRDI portal
Publication:4474834
zbMATH Open1044.03543MaRDI QIDQ4474834FDOQ4474834
Authors: P. N. Benton 
Publication date: 21 July 2004
Title of this publication is not available (Why is that?)
Recommendations
Cited In (69)
- Cartesian differential categories as skew enriched categories
- Title not available (Why is that?)
- Musings around the geometry of interaction, and coherence
- The logic of linear functors
- An abstract approach to stratification in linear logic
- Classical linear logic of implications
- Title not available (Why is that?)
- LNL polycategories and doctrines of linear logic
- A framework for substructural type systems
- Dependent types and fibred computational effects
- Resource modalities in tensor logic
- A functorial bridge between the infinitary affine lambda-calculus and linear logic
- Fibrational modal type theory
- A categorical reduction system for linear logic
- Adjoint reactive GUI programming
- Reverse AD at higher types: pure, principled and denotationally correct
- A linear/producer/consumer model of classical linear logic
- Semantics of quantum programming languages: Classical control, quantum control
- Domain theory for concurrency
- 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
- On the Lambek calculus with an exchange modality
- A mixed \(\lambda\)-calculus
- Safe session-based concurrency with shared linear state
- Adjoint logic with a 2-category of modes
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- A message-passing interpretation of adjoint logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Categories for computation in context and unified logic
- On classical PCF, linear logic and the MIX rule
- Title not available (Why is that?)
- Lifting coalgebra modalities and IMELL model structure to Eilenberg-Moore categories
- Presheaf models of quantum computation: an outline
- Title not available (Why is that?)
- Doctrines, modalities and comonads
- Semantics of higher-order quantum computation via geometry of interaction
- Categorical proof theory of co-intuitionistic linear logic
- Comparing hierarchies of types in models of linear logic
- Linear Logic Properly Displayed
- The logic of message-passing
- Session Types with Arithmetic Refinements
- A categorical model for a quantum circuit description language (extended abstract)
- Sheaf representation of monoidal categories
- Linearity and uniqueness: an entente cordiale
- Back to futures
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A universal session type for untyped asynchronous communication
- Title not available (Why is that?)
- Enriching an Effect Calculus with Linear Types
- Title not available (Why is that?)
- Linear exponential comonads without symmetry
- Localisation and interaction in one dimension
- Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic
- A concrete model for a typed linear algebraic lambda calculus
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC
- The syntactic side of autonomous categories enriched over generalised metric spaces
- Semantics for a lambda calculus for string diagrams
- Exponentials as substitutions and the cost of cut elimination in linear logic
- 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)
