Algorithm development in Martin-Löf’s type theory, Report (in preparation (1984)

by R Backhouse