Weighted relational models of typed lambda-calculi
From MaRDI portal
Recommendations
- Quantitative semantics of the lambda calculus. Some generalisations of the relational model
- Weighted models for higher-order computation
- Relating categorical semantics for intuitionistic linear logic
- Categorical models for a semantically linear \(\lambda\)-calculus
- The resource lambda calculus is short-sighted in its relational model
Cited in
(43)- Approximate weighted model integration on DNF structures
- Taylor expansion, finiteness and strategies
- Semantics of quantum programming languages: Classical control, quantum control
- Weighted models for higher-order computation
- Intuitionistic fixed point logic
- Strong normalizability as a finiteness structure via the Taylor expansion of -terms
- From qualitative to quantitative semantics. By change of base
- Observed Communication Semantics for Classical Processes
- scientific article; zbMATH DE number 515743 (Why is no real title available?)
- Relational graph models at work
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
- 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
- Fully abstract models of the probabilistic -calculus
- A Fresh Look at the λ-Calculus
- Convenient antiderivatives for differential linear categories
- Quantitative semantics of the lambda calculus. Some generalisations of the relational model
- Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs
- scientific article; zbMATH DE number 7089070 (Why is no real title available?)
- Modelling coeffects in the relational semantics of linear logic
- Biproducts in monoidal categories
- Monoidal reverse differential categories
- Distributing and parallelizing non-canonical loops
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- Fixpoint constructions in focused orthogonality models of linear logic
- Free commutative monoids in homotopy type theory
- A deep quantitative type system
- The relational quotient completion
- Weighted rewriting
- Solvability in a probabilistic setting (invited talk)
- Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
- Semantic bounds and multi types, revisited
- From thin concurrent games to generalized species of structures (extended version)
- Towards a computational quantum logic. An overview of an ongoing research program
- Combining fixpoint and differentiation theory
- An analysis of symmetry in quantitative semantics
- The relational machine calculus
- Coherent Taylor expansion as a bimonad
- The sup connective in IMALL: a categorical semantics
- Interaction improvement
This page was built for publication: Weighted relational models of typed lambda-calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5271067)
