Caltech Logo

Math Graduate Student Seminar

Friday, December 4, 2020
4:00pm to 5:00pm
Add to Cal
Online Event
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.

For more information, please contact Math Department by phone at 626-395-4335 or by email at mathinfo@caltech.edu.