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