Talks
Fall 2016

Stochastic Lambda-Calculus
Monday, August 29th, 2016, 9:30 am–10:30 am
It is shown how the enumeration operators in the "graph model" for lambda-calculus (which can function as a programming language for Recursive Function Theory) can be expanded to allow for "random combinators". The result can then be a model for a new language for random algorithms.
Attachment | Size |
---|---|
![]() | 275.23 KB |
![]() | 240.3 KB |
![]() | 1.5 MB |