The rôle of linear logic in coalgebraical approach of computing - Slodičák, Viliam (Array, 2011)