A Semantics of Objects in Type Theory
by Jason Hickey
Unpublished manuscript, Cornell University, 1997.
Sorry, there are no downloadable files available for this document at this time.
