Partial Objects in Type Theory (1989)

Cached

Download Links

by Scott Fraser Smith
Citations:19 - 6 self

Document Versions

Partial Objects in Type Theory –Scott Fraser Smith — 1989