[PRL] Fwd: [Programming] Dana Scott May 13

[David Van Horn]

-------- Original Message --------
Subject: [Programming] Dana Scott May 13
Date: Mon, 25 Mar 2013 11:22:54 -0400
From: Greg Morrisett <greg at eecs.harvard.edu>
To: programming at eecs.harvard.edu <programming at eecs.harvard.edu>

Hi Folks,

Dana Scott will be giving a special seminar on May 13 at 4pm
which should interest a number of you:

Speaker: Dana S. Scott (Prof. Emeritus CMU, Visiting Scholar UC Berkeley)
Title: A Stochastic Lambda-Calculus

Abstract: Many authors have suggested ways of adding random elements and 
probability assessments to versions of Church's Lambda-Calculus.  When 
asked recently about models, the speaker realized that the so-called 
Graph Model based on enumeration operators acting on the powerset of the 
integers could easily be expanded to a Boolean-valued powerset 
interpretation using standard measure algebras.  The talk will report on 
a proposal of how a continuation-passing semantics can be used for 
modeling a branching combinator using random coin tossing.
_______________________________________________
Programming mailing list
Programming at eecs.harvard.edu
https://lists.eecs.harvard.edu/mailman/listinfo/programming