A semantics for evaluation logic (1995)

by E Moggi
Venue:Fundamenta Informaticae