Categories, Types, And Structures
Author(s)
Andrea Asperti
Giuseppe Longo
Andrea Asperti
Giuseppe Longo
This Book Introduces Category Theory At A Level Appropriate For Computer Scientists And Provides Practical Examples In The Context Of Programming Language Design.
Name in long format: | Categories, Types, And Structures |
---|---|
ISBN-10: | 026212145X |
ISBN-13: | 9780262121453 |
Book pages: | 306 |
Book language: | en |
Publisher: | Mit Press (ma) |