Boolean-Valued Semantics for the Stochastic λ-Calculus

DOI10.1145/3209108.3209175zbMath1453.03006OpenAlexW2809754822MaRDI QIDQ5145343

No author found.

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://strathprints.strath.ac.uk/74747/

zbMATH Keywords

random variablesdenotational semanticsBoolean-valued modelsstochastic \(\lambda \)-calculus

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Unnamed Item

This page was built for publication: Boolean-Valued Semantics for the Stochastic λ-Calculus