Functional Discussions

This month: Jon Sterling will give an introduction to Computational Type Theory and its proof refinement logic, and show off some super cool stuff in JonPRL and Nuprl, like how to get coinductive types for free from intersection types and general recursion. And of course, answer a ton of questions.