Open AccessBook
Basic Category Theory for Computer Scientists
Reads0
Chats0
TLDR
It's important for you to start having that hobby that will lead you to join in better concept of life and reading will be a positive activity to do every time.Abstract:
basic category theory for computer scientists What to say and what to do when mostly your friends love reading? Are you the one that don't have such hobby? So, it's important for you to start having that hobby. You know, reading is not the force. We're sure that reading will lead you to join in better concept of life. Reading will be a positive activity to do every time. And do you know our friends become fans of basic category theory for computer scientists as the best book to read? Yeah, it's neither an obligation nor order. It is the referred book that will not make you feel disappointed.read more
Citations
More filters
Book
Types and Programming Languages
TL;DR: This text provides a comprehensive introduction both to type systems in computer science and to the basic theory of programming languages, with a variety of approaches to modeling the features of object-oriented languages.
Book
Category Theory For Computing Science
Michael Barr,Charles Wells +1 more
TL;DR: Sketches for Endofunctors: Catesian Closed Categories, Diagrams, and Toposes.
Journal ArticleDOI
Generalising monads to arrows
TL;DR: The paper shows how many of the techniques of monadic programming generalise to the new setting, and gives examples to show that the greater generality is useful, and proposes a generalisation of monads, which I call arrows, with significantly wider applicability.
MonographDOI
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning
Bob Coecke,Aleks Kissinger +1 more
TL;DR: This entirely diagrammatic presentation of quantum theory represents the culmination of ten years of research, uniting classical techniques in linear algebra and Hilbert spaces with cutting-edge developments in quantum computation and foundations.
Proceedings ArticleDOI
A functional quantum programming language
TL;DR: QML integrates reversible and irreversible quantum computations in one language, using first order strict linear logic to make weakenings explicit, and preserves superpositions and entanglement -which is essential for quantum parallelism.