Hybrid Partial-Total Type Theory (1995)

Cached

Download Links

by Scott Smith
Citations:5 - 0 self

Document Versions

Hybrid Partial-Total Type Theory –Scott Smith — 1995