Full abstraction and recursion (1995)

by Michael W Mislove, Frank J Oles
Venue:MP99] [Nor03] James McKinna and Robert