The Structural Theory of Pure Type Systems

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=8zuTuE9f9Jg


Duration: 1:06:37
903 views
26

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



Other Videos By Microsoft Research


2016-07-26Parallel Coordinates: Visual Multidimensional Geometry and its Applications
2016-07-26Microblogging During Small Scale Incidents
2016-07-26Patent Law's Perfect Storm
2016-07-26Multi-Party Computation: From Theory to Practice
2016-07-26Integrating Algorithmic and Behavioral Approaches to Crowdsourcing
2016-07-26Narrating with Networks: Making Sense of Event Log Data with Socio-Technical Trajectories
2016-07-26Algorithms and Perception for Interactive Free-Viewpoint Image-Based Navigation
2016-07-26Learning to Construct and Reason with a Large Knowledge Base of Extracted Information
2016-07-26Realtime Facial Animation
2016-07-26Learning Mixtures of Arbitrary Distributions over Large Discrete Domains
2016-07-26The Structural Theory of Pure Type Systems
2016-07-26Building Social Life Networks
2016-07-26How to write your next POPL paper in Dafny
2016-07-26Small Image Sensors and Big Visual Data
2016-07-26Why the Doorway is a Data Portal into Multi-Person Homes
2016-07-26Coordinating Software Development through Predictive Conflict Detection
2016-07-26Blur-Kernel Estimation from Spectral Irregularities
2016-07-26Quantum algorithms for Hamiltonian simulation
2016-07-26Understanding and Reducing the User Burdens in Applications for Health and Wellbeing
2016-07-26Evaluating Open Source Software
2016-07-26Decoupling Algorithms from the Organization of Computation for High-Performance Graphics & Imaging


Tags:
microsoft research