Benjamin C. Pierce

الكتب
Basic Category Theory for Computer Scientists Basic Category Theory for Computer Scientists
Basic Category Theory for Computer Scientists
١٩٩١
Types and Programming Languages Types and Programming Languages
Types and Programming Languages
٢٠٠٢