Stop when you are Almost-Full Adventures in constructive termination

by Dimitrios Vytiniotis , Thierry Coquand
Citations:2 - 0 self