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
(42)- scientific article; zbMATH DE number 7089070 (Why is no real title available?)
- An analysis of symmetry in quantitative semantics
- The relational machine calculus
- A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces
- Modelling coeffects in the relational semantics of linear logic
- scientific article; zbMATH DE number 515743 (Why is no real title available?)
- Coherent Taylor expansion as a bimonad
- Semantics of quantum programming languages: Classical control, quantum control
- scientific article; zbMATH DE number 7533341 (Why is no real title available?)
- Mackey-complete spaces and power series -- a topological model of differential linear logic
- Distributing and parallelizing non-canonical loops
- Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs
- Fixpoint constructions in focused orthogonality models of linear logic
- Taylor expansion, finiteness and strategies
- From qualitative to quantitative semantics. By change of base
- Convenient antiderivatives for differential linear categories
- Monoidal reverse differential categories
- A Fresh Look at the λ-Calculus
- Quantitative semantics of the lambda calculus. Some generalisations of the relational model
- The sup connective in IMALL: a categorical semantics
- Free commutative monoids in homotopy type theory
- A deep quantitative type system
- Observed Communication Semantics for Classical Processes
- The relational quotient completion
- scientific article; zbMATH DE number 7471690 (Why is no real title available?)
- Weighted rewriting
- scientific article; zbMATH DE number 7533340 (Why is no real title available?)
- Solvability in a probabilistic setting (invited talk)
- Lifting coalgebra modalities and \textsf{MELL} model structure to Eilenberg-Moore categories
- 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)
- Linear-algebraic models of linear logic as categories of modules over \(\Sigma \)-semirings
- Towards a computational quantum logic. An overview of an ongoing research program
- Biproducts in monoidal categories
- Approximate weighted model integration on DNF structures
- Strong normalizability as a finiteness structure via the Taylor expansion of -terms
- Intuitionistic fixed point logic
- Relational graph models at work
- Weighted models for higher-order computation
- scientific article; zbMATH DE number 7471682 (Why is no real title available?)
- Combining fixpoint and differentiation theory
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)
