Skip to main content
PRL Project

A Semantics of Objects in Type Theory

by Jason Hickey
1997

Unpublished manuscript, Cornell University

bibTex ref: Hic97c


cite link