Active Bibliography

I Basic Categories 5 – J. R. B. Cockett - 2014
I Basic Categories 6 – J. R. B. Cockett - 2014
Introduction to Turing categories – J. R. B. Cockett A, P. J. W. Hofstra B
6 Introduction to Turing categories – J. R. B. Cockett, Pieter J. W. Hofstra
813 Notions of Computation and Monads – Eugenio Moggi - 1991
480 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1436 Monads for functional programming – Philip Wadler - 1995
505 Comprehending Monads – Philip Wadler - 1992
430 BASIC CONCEPTS OF ENRICHED CATEGORY THEORY – G. M. Kelly - 2005