Finiteness spaces

DOI10.1017/S0960129504004645MaRDI QIDQ5697709zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

linear logiclinear topologydifferential lambda-calculusdenotational modelfiniteness space

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• 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

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)