A semantics of objects in type theory. Online formalization available through Cornell CS (0)

by Jason J Hickey