Benjamin C. Pierce

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