Universal semantics for the stochastic λ-calculus

de Amorim, Pedro H. Azevedo and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Roberts, M.; (2021) Universal semantics for the stochastic λ-calculus. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science . IEEE, ITA. ISBN 9781665448956 (https://doi.org/10.1109/LICS52264.2021.9470747)

Preview

Text. Filename: Amorim_etal_LICS2021_Universal_semantics_stochastic_calculus.pdf Accepted Author Manuscript Download (386kB)| Preview

Abstract

We define sound and adequate denotational and operational semantics for the stochastic lambda calculus. These two semantic approaches build on previous work that used an explicit source of randomness to reason about higher-order probabilistic programs.

• Share and Export
  

  RefWorksRIS (EndNote Online, Zotero, Ref manager, etc)RDF+XMLEndNoteASCII CitationOpenURL ContextObject in SpanMPEG-21 DIDLRIOXX2 XMLBibTeXAtomEP3 XMLDublin CoreRDF+N-TriplesMODSHTML CitationJSONData Cite XMLRDF+N3Multiline CSVOpenURL ContextObjectReferSimple MetadataMETS
• Item metadata

  Item type:	Book Section
  ID code:	77749
  Dates:	Date Event 7 July 2021 Published 31 March 2021 Accepted
  Subjects:	Science > Mathematics
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Pure Administrator
  Date deposited:	09 Sep 2021 12:34
  Last modified:	11 Nov 2024 15:25
  URI:	https://strathprints.strath.ac.uk/id/eprint/77749