Basic Category Theory for Computer Scientists
Benjamin C. Pierce, "Basic Category Theory for Computer Scientists"
Massachusetts Institute of Technology | ISBN: 0262660717 | 1991 | 114 pages | DJV | 5.5 MB
Theoretical computer science has now undergone several decades of development. The "classical" topics of automata theory, formal languages, and computational complexity have become firmly established, and their importance to other theoretical work and to practice is widely recognized. Stimulated by technological advances, theoreticians have been rapidly expanding the areas under study, and the time delay between theoretical progress and its practical impact has been decreasing dramatically. Much publicity has been given recently to breakthroughs in cryptography and linear programming, and steady process is being made on programming language semantics, …