Proof Theory Foundations Lecture 1
#############################
Video Source: www.youtube.com/watch?v=YRu7Xi-mNK8
Frank Pfenning - Proof Theory Foundations, Lecture 1, Oregon Programming Languages Summer School 2012, University of Oregon • For more info about the summer school please visit http://www.cs.uoregon.edu/research/su...
#############################
New on site