Coalgebraic Methods in Computer ScienceHelle Hvid Hansen, Fabio Zanasi · First published 2022Open the Tome
Logic, Language, and ComputationHelle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat · First published 2017Open the Tome
