Programs as Diagrams: From Categorical C
โ Dusko Pavlovic
๐ Library
๐
2023
๐ Springer
๐ English
โฆ LIBER โฆ
๐
Computational category theory
โ Scribed by D. E. Rydeheard, Burstall
- Publisher
- Prentice Hall
- Year
- 1988
- Tongue
- English
- Leaves
- 263
- Series
- Prentice-Hall International Series in Computer Science
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Computational Category Theory
โ D E Rydeheard R M Burstall
๐ Library
๐ English
Computational Category Theory
โ D.E. Rydeheard, R.M. Burstall
๐ Library
๐
1988
๐ Prentice-Hall
๐ English
CONTENTS ======== 1 Introduction 1.1 The contents 1.2 Accompanying texts 1.2.1 Textbooks on category theory 1.2.2 ML references and availability 1.2.3 A selection of textbooks on functional programming 1.3 Acknowledgements 2 Functional Programming in ML 2.1 Expressions, values and enviro
Computational category theory
โ Rydeheard D.E., Burstall R.M.
๐ Library
๐
2003
๐ English
Programs as Diagrams: From Categorical C
โ Dusko Pavlovic
๐ Library
๐
2023
๐ Springer
๐ English
<p><span>It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.</span></p><p><span>In this unique textbook/reference, programs are drawn as string diagrams in the language of catego
Programs as Diagrams: From Categorical C
โ Dusko Pavlovic
๐ Library
๐
2023
๐ Springer Nature Switzerland
๐ English
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions. In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a univer