An analysis of symmetry in quantitative semantics
From MaRDI portal
Cites work
- A semantic measure of the execution time in linear logic
- Applying quantitative semantics to higher-order quantum computing
- Coherence for bicategorical cartesian closed structure
- Execution time of λ-terms via denotational semantics and intersection types
- From thin concurrent games to generalized species of structures
- Full abstraction for PCF
- Full abstraction for probabilistic PCF
- Generalised species of rigid resource terms
- scientific article; zbMATH DE number 1241700 (Why is no real title available?)
- scientific article; zbMATH DE number 1479634 (Why is no real title available?)
- Linear logic
- Normal functors, power series and -calculus
- On full abstraction for PCF: I, II and III
- On Köthe sequence spaces and linear logic
- On the Taylor expansion of -terms and the groupoid structure of their rigid approximants
- Quantitative domains and infinitary algebras
- Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs
- Template games and differential linear logic
- The cartesian closed bicategory of generalised species of structures
- The Cartesian closed bicategory of thin spans of groupoids
- The differential lambda-calculus
- Thin games with symmetry and concurrent Hyland-Ong games
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Weighted models for higher-order computation
- Weighted relational models of typed lambda-calculi
This page was built for publication: An analysis of symmetry in quantitative semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6970252)
