Reducibility and >>-lifting for computation types (2005)

by Sam Lindley, Ian Stark
Venue:In TLCA '05