Stop When You Are Almost-Full - Adventures in Constructive Termination.

Dimitrios Vytiniotis, Thierry Coquand, David Wahlstedt

Browse the full ITP paper archive.