Encoding an Object Calculus into Interaction Nets. - Fabien Fleutot (TERMGRAPH, 2004)

A historic functional and object-oriented calculus. - Maribel Fernández; Fabien Fleutot (PPDP, 2006)