Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
The Structural Theory of Pure Type Systems

Speaker  Cody Roux

Affiliation  Carnegie Mellon University

Host  Leonardo de Moura

Duration  01:06:16

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.
> The Structural Theory of Pure Type Systems