A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories.

Inman P. de Guzmán Manuel Ojeda-Aciego Agustín Valverde A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories. Acta Inf. 32 1 1995 61-78 db/journals/acta/acta32.html#GuzmanOV95 http://dx.doi.org/10.1007/BF01185405