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

 

Abstract

Citation

Please, cite this work as:

[GOA95] I. P. de Guzmán, M. Ojeda-Aciego, and Agust'. “A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories”. In: Acta Informatica 32.1 (1995), pp. 61-78. DOI: 10.1007/BF01185405. URL: https://doi.org/10.1007/BF01185405.

BibTeX

@Article{Guzman1995,
     author = {Inman P. {de Guzm{’a}n} and Manuel Ojeda-Aciego and Agust'Valverde},
     journal = {Acta Informatica},
     title = {A Formal Identification between Tuples and Lists with an Application to List-Arithmetic Categories},
     year = {1995},
     number = {1},
     pages = {61–78},
     volume = {32},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/journals/acta/GuzmanOV95.bib},
     doi = {10.1007/BF01185405},
     timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
     url = {https://doi.org/10.1007/BF01185405},
}