Видео с ютуба Discocat

Disco Dancing Cats

Alexis Toumi - Higher-Order DisCoCat Peirce-Lambed-Montague Semantics

DisCoCat−− CoeckeとBradley