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

by E Cohen