prindi

Finiteness and rational sequences, constructively

autor
Uustalu, Tarmo
Veltri, Niccolo
vastutusandmed
Tarmo Uustalu and Niccolò Veltri
allikas
Journal of functional programming
ajakirja aastakäik number kuu
vol. 27
ilmumisaasta
2017
leheküljed
art. e13, p. 1-20
leitav
https://doi.org/10.1017/S0956796817000041
märksõna
jadad
ratsionaalarvud
matemaatilised teooriad
tüübiteooria
ISSN
0956-7968
märkused
Bibliogr. p. 19-20
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
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