Speaker Cody Roux
Affiliation Carnegie Mellon University
Host Leonardo de Moura
Date recorded 31 July 2013
By an analysis of the global structure of the set of pure type systems (PTS), we identify and classify various transformations of PTS which preserve normalization. In particular we identify predicative quantification and the Q-logic of P terms to be two interesting examples of such transformations
©2013 Microsoft Corporation. All rights reserved.