|
|
Sold Out
Book Categories |
| Preface | ||
| Computational comonads and intensional semantics | 1 | |
| Weakly distributive categories | 45 | |
| Sequentiality and full abstraction | 66 | |
| Remarks on algebraically compact categories | 95 | |
| Dinaturality for free | 107 | |
| Simply typed and untyped lambda calculus revisited | 119 | |
| Modelling reduction in confluent categories | 143 | |
| On clubs and data-type constructors | 163 | |
| Penrose diagrams and 2-dimensional rewriting | 191 | |
| Strong monads, algebras and fixed points | 202 | |
| Semantics of local variables | 217 | |
| Using fibrations to understand subtypes | 239 | |
| Reasoning about sequential functions via logical relations | 258 | |
| I-categories and duality | 270 | |
| Geometric theories and databases | 288 | |
| Partial products, bagdomains and hyperlocal toposes | 315 |
| Price | Condition | Delivery | Seller | Action |
| $112.32 | Digital |
| WonderClub |
Marc Russell
reviewed Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991 on June 29, 2019
Applications of Categories in Computer Science
An exceptional textbook for computer science. This is not among the very popular titles on the subject, but one of the best.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991
X
This Item is in Your Inventory
Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991
X
You must be logged in to review the productsX
X
X
Add Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991, Applications of category theory and related topics of mathematics to computer science have been a growing area in recent years. This book contains selected papers on the subject from the London Mathematical Society Symposium held at the University of Durh, Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991 to the inventory that you are selling on WonderClubX
X
Add Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991, Applications of category theory and related topics of mathematics to computer science have been a growing area in recent years. This book contains selected papers on the subject from the London Mathematical Society Symposium held at the University of Durh, Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991 to your collection on WonderClub |