Unity of Logic and ComputationGianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea · First published 2023Open the Tome