PRL Seminars
Abstact Data Structures, Objects and Classes
in the Nuprl Type Theory
Alexei Kopylov
November 11, 2002
Abstract
I will show on examples how we can use the new definition of objects and classes in Nuprl.