Ian Mackie Encoding Strategies in the Lambda Calculus with Interaction Nets. 19-36 2005 conf/ifl/2005 IFL http://dx.doi.org/10.1007/11964681_2 db/conf/ifl/ifl2005.html#Mackie05