Finiteness and rational sequences, constructively
author
Uustalu, Tarmo
Veltri, Niccolo
statement of authorship
Tarmo Uustalu and Niccolò Veltri
source
Journal of functional programming
journal volume number month
vol. 27
year of publication
2017
pages
art. e13, p. 1-20
url
https://doi.org/10.1017/S0956796817000041
subject term
jadad
ratsionaalarvud
matemaatilised teooriad
tüübiteooria
ISSN
0956-7968
notes
Bibliogr. p. 19-20
TTÜ department
tarkvarateaduse instituut
language
inglise