Program Development in Constructive Type Theory

Didier Galmiche. Program Development in Constructive Type Theory. Theoretical Computer Science, 94(2):237-259, 1992.

Abstract

Abstract is missing.