Universal semantics for the stochastic λ-calculus

Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, M. Roberts

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

1 Downloads (Pure)

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.
Original languageEnglish
Title of host publication2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021
PublisherIEEE
Number of pages12
ISBN (Electronic)9781665448956
DOIs
Publication statusPublished - 7 Jul 2021
Event2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Rome, Italy
Duration: 29 Jun 20212 Jul 2021

Publication series

NameProceedings - Symposium on Logic in Computer Science
Volume2021-June
ISSN (Print)1043-6871

Conference

Conference2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Country/TerritoryItaly
CityRome
Period29/06/212/07/21

Keywords

  • lambda calculus
  • stochastic processes
  • probability
  • reasoning about programs
  • probabilistic logic
  • semantics
  • higher order probabilistic programs

Fingerprint

Dive into the research topics of 'Universal semantics for the stochastic λ-calculus'. Together they form a unique fingerprint.

Cite this