AbC calculus

Rocco De Nicola, Tan Duong, Michele Loreti. AbC calculus. Science of Computer Programming, 202:102567, 2021. [doi]

Bibliographies