Home » Authors » Pierre-Louis Curien

Pierre-Louis Curien

Public reference bibliography and cataloged PDF materials authored or published by Pierre-Louis Curien.

Found 1 document(s) Page 1 of 1

Category Theory: A Programming Language Oriented Introduction

Source: freecomputerbooks.com • Size: 1718.5 KB • ✓ Verified PDF

This book explains the following topics: Categories, functors, natural transformations, String diagrams, Kan extensions, Algebras, coalgebras, bialgebras, Lambda-calculus and categories....