Friday, December 04, 2020
4:00 PM -
5:00 PM
Online Event
Math Graduate Student Seminar
Series: Math Graduate Seminar Series
Probabilistic Programming Semantics for Name Generation
Michael Wolman,
Department of Mathematics,
Caltech,
In this talk we present a probabilistic model for name generation. Specifically, we interpret the nu-calculus, a simply-typed lambda-calculus with name generation, in the category of quasi-Borel spaces, an extension of the category of standard Borel spaces supporting both measure theory and higher-order programming. We prove that this model is fully abstract at first-order types. This is joint work with Marcin Sabok, Sam Staton and Dario Stein.
Event Sponsors:
For more information, please contact Math Department by phone at 626-395-4335 or by email at [email protected].