Probabilistic Stable Functions on Discrete Cones are Power Series

DOI10.1145/3209108.3209198zbMath1502.68169OpenAlexW2799180001MaRDI QIDQ5145300

Raphaëlle Crubillé

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3209108.3209198

zbMATH Keywords

denotational semanticslambda calculusprobabilistic computation

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40)

Related Items

A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces, Unnamed Item, Unnamed Item