Programs as Diagrams, From Categorical Computability to Computable Categories
Monograph (January 2023)
The most recent citing publications are shown below. View all 13 publications that cite this research output on Dimensions.
Monograph (January 2023)
Book chapter (September 2022)
Monograph (October 2021)