Relational reasoning for Markov chains in a probabilistic guarded lambda calculus

DOI10.1007/978-3-319-89884-1_8zbMath1418.68048arXiv1802.09787OpenAlexW2788983559MaRDI QIDQ2323974

Lars Birkedal, Aleš Bizjak, Deepak Garg, Gilles Barthe, Marco Gaboardi, Alejandro Aguirre

Publication date: 13 September 2019

Full work available at URL: https://arxiv.org/abs/1802.09787

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unnamed Item

This page was built for publication: Relational reasoning for Markov chains in a probabilistic guarded lambda calculus