Computational Type Theory [2/5] - Robert Harper - OPLSS 2018

Oregon Programming Languages Summer School
Parallelism and Concurrency
July 3-21, 2018
University of Oregon
www.cs.uoregon...
Title: Computational Type Theory [2/5]
Speaker: Robert Harper, Carnegie Mellon University
Date: Tuesday, 17 July 2018, Session 1
Topics: type theory
© 2018, University of Oregon