CiteSeerX — Related by cluster: Hybrid Partial-Total Type Theory

Hybrid Partial-Total Type Theory (1995)

Cached

Download Links

[condor.cs.jhu.edu]

Other Repositories/Bibliography

DBLP

by Scott Smith

Citations:

5 - 0 self

Document Versions

Hybrid Partial-Total Type Theory –Scott Smith — 1995