Constable, Robert L. and Zlatin, Daniel R. "The Type Theory of PL/CV3" ACM Transactions on Programming Languages and Systems (TOPLAS) 6(1) (January 1984) pp94-117
(1984)
Languages mentioned
AUTOMATH
{1967}
micro-PRL
{1981}
PL/CV2
{1982} Verifying logical dialect of PL/CS
PL/CV3
{1984}
PRL
{1983} Proof Refinement Logic