Type Theory and Non-Determinism.Doctoral Thesis Proposal, The (1986)

by E Cohen