Finiteness spaces
From MaRDI portal
Publication:5697709
Recommendations
Cited in
(67)- Coherent differentiation
- A deep inference system for differential linear logic
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- Stabilized profunctors and stable species of structures
- scientific article; zbMATH DE number 7566060 (Why is no real title available?)
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Non-linearity as the metric completion of linearity
- Exponential modalities and complementarity (extended abstract)
- scientific article; zbMATH DE number 7533340 (Why is no real title available?)
- scientific article; zbMATH DE number 7089070 (Why is no real title available?)
- Uniformity and the Taylor expansion of ordinary lambda-terms
- scientific article; zbMATH DE number 7471682 (Why is no real title available?)
- Pro-finite MV-spaces
- Categorical models for simply typed resource calculi
- Quantum computation: from a programmer's perspective
- Spaces of Finite Length
- Weak topologies for linear logic
- scientific article; zbMATH DE number 4078215 (Why is no real title available?)
- scientific article; zbMATH DE number 7471690 (Why is no real title available?)
- Semantics of higher-order quantum computation via geometry of interaction
- scientific article; zbMATH DE number 7471668 (Why is no real title available?)
- Categorical models of the differential \(\lambda\)-calculus revisited
- The conservation theorem for differential nets
- Intuitionistic differential nets and lambda-calculus
- The algebraic lambda calculus
- A linear/producer/consumer model of classical linear logic
- scientific article; zbMATH DE number 3064631 (Why is no real title available?)
- scientific article; zbMATH DE number 6712184 (Why is no real title available?)
- Finite vector spaces as model of simply-typed lambda-calculi
- Strong normalizability as a finiteness structure via the Taylor expansion of \(\lambda\)-terms
- scientific article; zbMATH DE number 7052231 (Why is no real title available?)
- Cartesian differential categories as skew enriched categories
- scientific article; zbMATH DE number 4101436 (Why is no real title available?)
- Visible acyclic differential nets. I: Semantics
- Coherence spaces and uniform continuity
- Differential interaction nets
- An explicit formula for the free exponential modality of linear logic
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Taylor expansion, finiteness and strategies
- scientific article; zbMATH DE number 7003195 (Why is no real title available?)
- Interpreting a finitary pi-calculus in differential interaction nets
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- A typed, algebraic, computational lambda-calculus
- The bang calculus and the two Girard's translations
- Finiteness spaces and generalized power series
- Semantics of quantum programming languages: Classical control, quantum control
- The Scott model of linear logic is the extensional collapse of its relational model
- Finiteness spaces, étale groupoids and their convolution algebras
- A Finite Representation of the Narrowing Space
- Confluence of Pure Differential Nets with Promotion
- Transport of finiteness structures and applications
- Non-uniform (hyper/multi)coherence spaces
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
- Differential Linear Logic and Polarization
- Observed Communication Semantics for Classical Processes
- Resource modalities in tensor logic
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- The true concurrency of differential interaction nets
- The differential \(\lambda \mu\)-calculus
- Jets and differential linear logic
- Deep inference and probabilistic coherence spaces
- scientific article; zbMATH DE number 7439427 (Why is no real title available?)
- A non-uniform finitary relational semantics of system \(T\)
- Infinitary affine proofs
- From coherent to finiteness spaces
This page was built for publication: Finiteness spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5697709)