✦ LIBER ✦

Computational category theory

✍ Scribed by Rydeheard D.E., Burstall R.M.

Book ID: 127396713
Year: 2003
Tongue: English
Weight: 874 KB
Edition: web draft
Category: Library

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

✍ D. E. Rydeheard, Burstall 📂 Library 📅 1988 🏛 Prentice Hall 🌐 English ⚖ 931 KB

Basic category theory for computer scien

Basic category theory for computer scientists

✍ Benjamin C. Pierce 📂 Library 📅 1991 🏛 MIT Press 🌐 English ⚖ 5 MB

Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.

[Lecture Notes in Computer Science] Cate

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 283 || Categories and effective computations

✍ Pitt, David H.; Poigné, Axel; Rydeheard, David E. 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg ⚖ 650 KB

Categories, types, and structures. Intro

Categories, types, and structures. Introduction to category theory for computer scientists

✍ Andrea Asperti, Giuseppe Longo 📂 Library 📅 1991 🏛 The MIT Press 🌐 English ⚖ 2 MB

Category theory is a mathematical subject whose importance in several areas of computer science, most notably the semantics of programming languages and the design of programs using abstract data types, is widely acknowledged. This book introduces category theory at a level appropriate for computer

Category Theory

✍ K. H. Kamps, D. Pumplün, W. Tholen 📂 Library 📅 1982 🏛 Springer 🌐 English ⚖ 2 MB

[Lecture Notes in Computer Science] Cate

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Specifying interaction categories

✍ Moggi, Eugenio; Rosolini, Giuseppe 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 864 KB