Finiteness spaces
From MaRDI portal
Publication:5697709
DOI10.1017/S0960129504004645zbMATH Open1084.03048OpenAlexW2911874855MaRDI QIDQ5697709FDOQ5697709
Authors: Thomas Ehrhard
Publication date: 18 October 2005
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129504004645
Recommendations
- Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- Finite vector spaces as model of simply-typed lambda-calculi
- From coherent to finiteness spaces
- On Köthe sequence spaces and linear logic
Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cited In (65)
- Title not available (Why is that?)
- Stabilized profunctors and stable species of structures
- Title not available (Why is that?)
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
- Coherent differentiation
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Non-linearity as the Metric Completion of Linearity
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- A deep inference system for differential linear logic
- Models of Linear Logic based on the Schwartz $\varepsilon$-product
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cartesian differential categories as skew enriched categories
- Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings
- The conservation theorem for differential nets
- Visible acyclic differential nets. I: Semantics
- The Scott model of linear logic is the extensional collapse of its relational model
- Title not available (Why is that?)
- Confluence of Pure Differential Nets with Promotion
- Differential Linear Logic and Polarization
- Resource modalities in tensor logic
- Title not available (Why is that?)
- A linear/producer/consumer model of classical linear logic
- Interpreting a finitary pi-calculus in differential interaction nets
- Semantics of quantum programming languages: Classical control, quantum control
- Intuitionistic differential nets and lambda-calculus
- Differential interaction nets
- Jets and differential linear logic
- Infinitary affine proofs
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Categorical models of the differential \(\lambda\)-calculus revisited
- Title not available (Why is that?)
- Taylor expansion, finiteness and strategies
- Deep inference and probabilistic coherence spaces
- The differential \(\lambda \mu\)-calculus
- Title not available (Why is that?)
- Spaces of Finite Length
- Categorical Models for Simply Typed Resource Calculi
- Observed Communication Semantics for Classical Processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Non-uniform (hyper/multi)coherence spaces
- From coherent to finiteness spaces
- Semantics of higher-order quantum computation via geometry of interaction
- The algebraic lambda calculus
- Title not available (Why is that?)
- Quantum computation: from a programmer's perspective
- A Finite Representation of the Narrowing Space
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Title not available (Why is that?)
- An explicit formula for the free exponential modality of linear logic
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Finiteness spaces, étale groupoids and their convolution algebras
- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms
- Coherence Spaces and Uniform Continuity
- Transport of finiteness structures and applications
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
- Mackey-complete spaces and power series – a topological model of differential linear logic
- Title not available (Why is that?)
- A typed, algebraic, computational lambda-calculus
- Title not available (Why is that?)
- Pro-finite MV-spaces
- Title not available (Why is that?)
- 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)