A formal identification between tuples and lists with an application to list-arithmetic categories

DOI10.1007/s002360050005zbMath0815.68063OpenAlexW2044544879MaRDI QIDQ1346222

A. Valverde, M. Ojeda, Inma P. de Guzmán

Publication date: 22 March 1995

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050005

zbMATH Keywords

recursive objectslist objectlist-arithmetic categories

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

This page was built for publication: A formal identification between tuples and lists with an application to list-arithmetic categories