On final semantics for applicative and non-deterministic languages (1993)

by D Turi, B Jacobs
Venue:Fifth Biennal Meeting on Category Theory and Computer Science