Extended Calculus of Constructions as a specification language (1993)

by R Burstall
Venue:Mathematics of Program Construction