Highlights from the Workshop on Termination and Type Theory

Tuesday Seminar at OGI on 12 December, 2002.

by Thomas Hallgren