Finiteness and rational sequences, constructively
author
statement of authorship
Tarmo Uustalu and Niccolò Veltri
publisher
journal volume number month
vol. 27
year of publication
pages
art. e13, p. 1-20
ISSN
0956-7968
notes
Bibliogr. p. 19-20
scientific publication
teaduspublikatsioon
language
inglise
classifier
kvartiil
category (general)
category (sub)
TTÜ department
Uustalu, T., Veltri, N. Finiteness and rational sequences, constructively // Journal of functional programming (2017) vol. 27, art. e13, p. 1-20. https://doi.org/10.1017/S0956796817000041