A survey of categorical computation: fixed points, partiality, combinators, ... control (1991)

by Dwight Spencer
Venue:Bulletin of the European Association of Theoretical Computer Science