CMPT 856:Composing open systems via structured cospans of CSets & their basis in adjunctions

preview_player
Показать описание