Programs As Diagrams: From Categorical Computability to Computable Categories

Format:: e-book
Title:: Programs As Diagrams: From Categorical Computability to Computable Categories
Author:: Dusko Pavlovic
Language:: English
Publisher:: Springer Nature (Textbooks & Major Reference Works) 2023
ISBN:: 3-031-34826-5
3-031-34827-3
Permalink:: http://bibtest.howest.be/catalog/ebk03:28269941600041?locale=en