A mathematical semantics for a nondeterministic typed λcalculus. Theoret (1980)

by M C B Hennessy, E A Ashcroft
Venue:Comput. Sci