๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 1290 || Allegories as a basis for algorithmics

โœ Scribed by Moggi, Eugenio; Rosolini, Giuseppe

Book ID
118266391
Publisher
Springer Berlin Heidelberg
Year
1997
Weight
883 KB
Category
Article
ISBN
3540695524

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