Stochastic λ-calculi: An extended abstract

This publication has 7 references indexed in Scilit:

• Probabilistic operational semantics for the lambda calculus
  RAIRO - Theoretical Informatics and Applications, 2012
• Continuous Lattices and Domains
  2003
• Nondeterministic Extensions of Untyped λ-Calculus
  Information and Computation, 1995
• Set-theoretical and other elementary models of the λ-calculus
  Theoretical Computer Science, 1993
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• Reducibility and Completeness for Sets of Integers
  Mathematical Logic Quarterly, 1959
• Effective operations on partial recursive functions
  Mathematical Logic Quarterly, 1955