Personal tools
You are here: Home Events Lab Lunch by Jonh Longley

Lab Lunch by Jonh Longley

— filed under:

The recursion hierarchy for PCF is strict

  • Lab Lunch
When Jul 07, 2015
from 01:00 PM to 01:55 PM
Add event to calendar vCal

Six weeks ago, I proved a theorem about Plotkin's PCF (the proto-language behind Haskell and ML) which settles an open problem of 20 years' standing. This is also probably the first theorem I've ever proved whose content would be readily accessible to anyone who has taken (and understood) the Informatics 1 Functional Programming course. I will explain the statement of the result, and say a little about its proof.


Document Actions