Types and Programming Languages Más libros de Benjamin C. Pierce

Basic Category Theory for Computer Scientists

1991