Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
From MaRDI portal
Cites work
- A Bicategorical Model for Finite Nondeterminism
- A Convenient Category for Higher-Order Probability Theory
- A convenient differential category
- A double category theoretic analysis of graded linear exponential comonads
- A partial metric semantics of higher-order types and approximate program transformations
- A semantic account of metric preservation
- An explicit formula for the free exponential modality of linear logic
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- An introduction to metric semantics: Operational and denotational models for programming and specification languages
- An introduction to quantaloid-enriched categories
- Best approximation in max-plus semimodules
- Cartesian difference categories
- Cartesian differential categories
- Categorical models for simply typed resource calculi
- Categorical structures enriched in a quantaloid: tensored and cotensored categories
- Change actions: models of generalised differentiation
- Coalgebraic behavioral metrics
- Computation by interaction for space-bounded functional programming
- Cones as a model of intuitionistic linear logic
- Convenient antiderivatives for differential linear categories
- Differential categories revisited
- Differential logical relations. I: The simply-typed case
- Differentials and distances in probabilistic coherence spaces
- Distance makes the types grow stronger: a calculus for differential privacy
- Execution time of λ-terms via denotational semantics and intersection types
- Exponentiation in \({\mathcal V}\)-categories
- Finiteness spaces
- Full abstraction for probabilistic PCF
- scientific article; zbMATH DE number 176206 (Why is no real title available?)
- scientific article; zbMATH DE number 6437647 (Why is no real title available?)
- scientific article; zbMATH DE number 7774245 (Why is no real title available?)
- LCF considered as a programming language
- Linear dependent types for differential privacy
- Linear logic
- Lipschitz properties of convex functions
- Metric spaces, generalized logic, and closed categories
- Monoidal topology. A categorical approach to order, metric, and topology
- On Quantitative Algebraic Higher-Order Theories
- On semigroups of matrices over the tropical semiring
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Probabilistic relational reasoning for differential privacy
- Probabilistic relational reasoning via metrics
- Probabilistic stable functions on discrete cones are power series
- Quantales, observational logic and process semantics
- Quantitative Algebraic Reasoning
- SOS specifications for uniformly continuous operators
- Statistical Inference for Probabilistic Functions of Finite State Markov Chains
- The complete canonical piecewise-linear representation. I. The geometry of the domain space
- The differential lambda-calculus
- Tight spans, Isbell completions and semi-tropical modules
- Tropical differential equations
- Tropical geometry of statistical models
- Tropical polyhedra are equivalent to mean payoff games
- Tropical roots as approximations to eigenvalues of matrix polynomials
- Weighted relational models of typed lambda-calculi
- What is a categorical model of the differential and the resource \(\lambda \)-calculi?
- What shape is your conjugate? A survey of computational convex analysis and its applications
This page was built for publication: Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856043)
