Finiteness spaces
From MaRDI portal
Publication:5697709
DOI10.1017/S0960129504004645zbMath1084.03048OpenAlexW2911874855MaRDI QIDQ5697709
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
Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items
Models of Linear Logic based on the Schwartz $\varepsilon$-product ⋮ Cartesian differential categories as skew enriched categories ⋮ What is a categorical model of the differential and the resource λ-calculi? ⋮ Unnamed Item ⋮ Taylor expansion, finiteness and strategies ⋮ Finiteness spaces and generalized power series ⋮ The differential \(\lambda \mu\)-calculus ⋮ Categorical Models for Simply Typed Resource Calculi ⋮ Non-linearity as the Metric Completion of Linearity ⋮ Differential interaction nets ⋮ Semantics of higher-order quantum computation via geometry of interaction ⋮ Unnamed Item ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ 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 ⋮ Visible acyclic differential nets. I: Semantics ⋮ A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces ⋮ The Scott model of linear logic is the extensional collapse of its relational model ⋮ Coherent differentiation ⋮ The conservation theorem for differential nets ⋮ Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications ⋮ Finiteness spaces, étale groupoids and their convolution algebras ⋮ Resource modalities in tensor logic ⋮ Mackey-complete spaces and power series – a topological model of differential linear logic ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Deep inference and probabilistic coherence spaces ⋮ Unnamed Item ⋮ Coherence Spaces and Uniform Continuity ⋮ Observed Communication Semantics for Classical Processes ⋮ Quantum computation: from a programmer's perspective ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A linear/producer/consumer model of classical linear logic ⋮ Uniformity and the Taylor expansion of ordinary lambda-terms ⋮ Categorical models of the differential \(\lambda\)-calculus revisited ⋮ A typed, algebraic, computational lambda-calculus ⋮ Intuitionistic differential nets and lambda-calculus ⋮ Probabilistic coherence spaces as a model of higher-order probabilistic computation ⋮ Unnamed Item ⋮ Interpreting a finitary pi-calculus in differential interaction nets ⋮ Unnamed Item ⋮ Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms ⋮ Non-uniform (hyper/multi)coherence spaces ⋮ Differential Linear Logic and Polarization ⋮ The algebraic lambda calculus ⋮ Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1--3, 2009. Proceedings ⋮ Confluence of Pure Differential Nets with Promotion ⋮ Jets and differential linear logic ⋮ Unnamed Item ⋮ Infinitary affine proofs
This page was built for publication: Finiteness spaces