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.