𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Mathematics] Category Theory Volume 1488 || Some thoughts on the future of category theory

✍ Scribed by Carboni, Aurelio; Pedicchio, Maria Cristina; Rosolini, Guiseppe

Book ID
115451149
Publisher
Springer Berlin Heidelberg
Year
1991
Weight
948 KB
Edition
1991
Category
Article
ISBN
3540547061

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] Cate
[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || A dialectica-like model of linear logic
✍ Pitt, David H.; Rydeheard, David E.; Dybjer, Peter; Pitts, Andrew M.; PoignΓ©, Ax πŸ“‚ Article πŸ“… 1989 πŸ› Springer Berlin Heidelberg 🌐 German βš– 709 KB

The papers in this volume were presented at the fourth biennial Summer Conference on Category Theory and Computer Science, held in Paris, September3-6, 1991. Category theory continues to be an important tool in foundationalstudies in computer science. It has been widely applied by logicians to get c