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