full record print

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
series
conference name, date
Mathematics of Program Construction: 14th International Conference, MPC 2022, September 26–28, 2022
conference location
Tbilisi, Georgia,
url
ISSN
0302-9743
ISBN
978-3-031-16911-3
notes
Bibliogr.: 30 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
Reserch Group
High-assurance software laboratory
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). https://doi.org/10.1007/978-3-031-16912-0_8