A big step from finite to infinite computations

Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca. A big step from finite to infinite computations. Science of Computer Programming, 197:102492, 2020. [doi]

Abstract

Abstract is missing.