Categories, types and structures : an introduction to category theory for the working computer scientist - Asperti, Andrea, 1961-; Longo, Giuseppe (London : MIT Press, 1991)
Keywords: algebraické struktury; algebraic structures; monografie; monographs