Constable, R.L. et al, "Implementing Mathematics in the Nuprl Proof Development System", P-H 1986.
(1986)
Languages mentioned
Nuprl
{1986}