Formalizing Reference Types in NuPRL (1998)

by P Naumov