Benjamin C. Pierce

Libros
Basic Category Theory for Computer Scientists Basic Category Theory for Computer Scientists
Basic Category Theory for Computer Scientists
1991
Types and Programming Languages Types and Programming Languages
Types and Programming Languages
2002