Byron Cook
Berkeley lectures
I'm visiting Berkeley University during the month of April. During my visit I'm giving 4 lectures on termination proving. Here are the slides. Warning: they're around 20mb each.
Lecture 1
Lecture 2
Lecture 3
Lecture 4
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)