Games and Full Abstraction for the Lazy lambda-Calculus

Games and Full Abstraction for the Lazy lambda-Calculus Samson Abramsky Guy McCusker 234-243 1995 conf/lics/1995 LICS db/conf/lics/lics95.html#AbramskyM95 https://doi.org/10.1109/LICS.1995.523259 https://doi.ieeecomputersociety.org/10.1109/LICS.1995.523259 https://www.wikidata.org/entity/Q57006844