Some Results on the Full Abstraction Problem for Restricted Lambda Calculi.

Furio Honsell Marina Lenisa Some Results on the Full Abstraction Problem for Restricted Lambda Calculi. 84-104 1993 conf/mfcs/1993 MFCS db/conf/mfcs/mfcs93.html#HonsellL93 http://dx.doi.org/10.1007/3-540-57182-5_6