Programs as Diagrams From Categorical Computability to Computable Categories Pavlovic Dusko Innbundet / 2023 / Engelsk
Programs as Diagrams From Categorical Computability to Computable Categories Pavlovic Dusko Heftet / 2024 / Engelsk
Algebraic Methodology and Software Technology 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers Johnson, Michael Heftet / 2011 / Engelsk
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows Guttman Joshua D. Heftet / 2019 / Engelsk
