scientific article; zbMATH DE number 2079022
From MaRDI portal
Publication:4474834
zbMath1044.03543MaRDI QIDQ4474834
Publication date: 21 July 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (47)
Linear Logic Properly Displayed ⋮ Cartesian differential categories as skew enriched categories ⋮ Adjoint Logic with a 2-Category of Modes ⋮ Linear Dependent Type Theory for Quantum Programming Languages ⋮ Parametrized fixed points and their applications to session types ⋮ Modality via iterated enrichment ⋮ Back to futures ⋮ Doctrines, modalities and comonads ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ Unnamed Item ⋮ Linear Exponential Comonads without Symmetry ⋮ A Categorical Model for a Quantum Circuit Description Language (Extended Abstract) ⋮ LNL polycategories and doctrines of linear logic ⋮ Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic ⋮ A concrete model for a typed linear algebraic lambda calculus ⋮ Sheaf representation of monoidal categories ⋮ Linearity and uniqueness: an entente cordiale ⋮ A framework for substructural type systems ⋮ UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC ⋮ The syntactic side of autonomous categories enriched over generalised metric spaces ⋮ Unnamed Item ⋮ Resource modalities in tensor logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The logic of message-passing ⋮ Domain theory for concurrency ⋮ Adjoint reactive GUI programming ⋮ Reverse AD at higher types: pure, principled and denotationally correct ⋮ A linear/producer/consumer model of classical linear logic ⋮ Fibrational modal type theory ⋮ Categories for computation in context and unified logic ⋮ Musings around the geometry of interaction, and coherence ⋮ Presheaf Models of Quantum Computation: An Outline ⋮ Relating categorical semantics for intuitionistic linear logic ⋮ A categorical construction for the computational definition of vector spaces ⋮ A message-passing interpretation of adjoint logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dependent Types and Fibred Computational Effects ⋮ Session Types with Arithmetic Refinements ⋮ Enriching an Effect Calculus with Linear Types ⋮ Jets and differential linear logic ⋮ Unnamed Item ⋮ A concrete categorical semantics of lambda-\(\mathcal{S}\) ⋮ Unnamed Item ⋮ An abstract approach to stratification in linear logic
This page was built for publication:
