Partial Objects in Type Theory (1989)

Cached

Download Links

by Scott Fraser Smith
Citations:19 - 6 self