✦ LIBER ✦

Computational category theory

✍ Scribed by D. E. Rydeheard, Burstall

Book ID: 127396740
Publisher: Prentice Hall
Year: 1988
Tongue: English
Weight: 931 KB
Series: Prentice-Hall International Series in Computer Science
Category: Library
ISBN: 0131627368

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

✍ Rydeheard D.E., Burstall R.M. 📂 Library 📅 2003 🌐 English ⚖ 874 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