Universal Semantics for the Stochastic λ-Calculus.
Pedro H. Azevedo de AmorimDexter KozenRadu MardarePrakash PanangadenMichael RobertsPublished in: LICS (2021)
Keyphrases
- algebraic structure
- formal language
- logic programming
- process algebra
- database query languages
- knowledge base
- formal semantics
- learning automata
- stochastic optimization
- computer algebra
- monte carlo
- semantic information
- computational properties
- stochastic programming
- relational calculus
- formal specification
- proof theory