Search results for "Category Theory for Computer Science"
29 results found
Search results

Programming
Category Theory and Computer Programming: Tutorial and Works

Computers & Internet
An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)

Sciences, Technology & Medicine
Category Theory and Applications (English, Marco Grandis)

Programming
Design Theory and Computer Science by Dasgupta

Sciences, Technology & Medicine
An Introduction to Category Theory (English, Harold Simmons)

Sciences, Technology & Medicine
An Introduction to Category Theory (English, Harold Simmons)

Programming
Design Theory and Computer Science by Subrata Dasgupta

Science & Mathematics
Algebraic Theories by J. Adamek – Category Theory Book

Computers & Internet
Design Theory and Computer Science (English, Subrata Dasgupta)

Programming
The Domain Theory in Computer Science by Jovan Pehcevski

Programming
Applications of Categories in Computer Science by M. P. Four

Programming
Foundation Mathematics for Computer Science by John Vince

Sciences, Technology & Medicine
Abelian Model Category Theory (English, James Gillespie)

Computers & Internet
Categories and Computer Science (English, R. F. C. Walters)

Cambridge University Press
Abelian Model Category Theory: 215 (Cambridge Studies in Advanced Mathematics)

Sciences, Technology & Medicine
Coherence in Three-Dimensional Category Theory (English, Nick Gurski)

Computers & Internet
Computer Science and Applications: CSAC 2014 Proceedings | Ally Hu | CRC Press | Hardcover | 1st Edition | Computer Science Books for Professionals & Researchers

Programming
Handbook of Logic in Computer Science by Abramsky

Programming
Categories and Computer Science by R. F. C. Walters

Computers & Internet
The Domain Theory in Computer Science by Jovan Pehcevski | Arcler Press | English | Paperback | 2022

Programming
Categories and Computer Science by R. F. C. Walters

Textbooks & Study Guides
Formal Category Theory: Adjointness for 2-categories by J. W. Gray (Springer, 1974, English, Paperback) - Lecture Notes in Mathematics 391

Computers & Internet
Quantum Computer Science: An Introduction by N. David Mermin | Cambridge University Press | Hardcover | Physics & Computer Science Textbook

Computers & Internet
Computer Science Logic: CSL 2004 Proceedings (Lecture Notes in Computer Science 3210) by Jerzy Marcinkowski - Springer, English, Paperback, 2004 Edition

Programming
Handbook of Logic in Computer Science by Maibaum

Programming
Computer Science Logo Style by Brian Harvey

Science & Mathematics
Algebraic Methods II: Theory, Tools and Applications: 490 (Lecture Notes in Computer Science)

Science & Mathematics
Conceptual Mathematics by F. William Lawvere – Category Theo

Computers & Internet
