Streams of approximations, equivalence of recursive effectful programs
author
statement of authorship
Niccolo Veltri, Niels Voorneveld
source
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
location of publication
Cham
publisher
year of publication
pages
p. 198-221 : ill
conference name, date
Mathematics of Program Construction: 14th International Conference, MPC 2022, September 26–28, 2022
conference location
Tbilisi, Georgia,
subject term
kvartiil
category (general)
keyword
call-by-push value
differentiation (calculus)
ISSN
0302-9743
ISBN
978-3-031-16911-3
notes
Bibliogr.: 30 ref
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
Uurimisrühm
Veltri, N., Voorneveld, N. Streams of approximations, equivalence of recursive effectful programs // Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings. Cham : Springer, 2022. p. 198-221 : ill. (Lecture notes in computer science ; 13544).