کتاب های Glynn Winskel
The Formal Semantics of Programming Languages: An Introduction
Glynn Winskel, 1993
Lecture Notes in Category Theory [Draft]
Mario Caccamo, Glynn Winskel
Set Theory for Computer Science [lecture notes]
Glynn Winskel, 2010
