Simply-typed underdeterminism (1997)

by Ewen W K C Denney
Venue:In EU KIT/IOS International Workshop on Formal Models of Programming and their Applications, Institute of Software