Pavol Macko

Some properties of coalgebras and their role in computer science

William Steingartner, Davorka Radaković, František Valkošák, 2016 .

The rôle of linear logic in coalgebraical approach of computing

Pavol Macko, Viliam Slodičák, V. Slodicák, 2011 .

Some New Approaches in Functional Programming Based on Categories

Valerie Novitzká, Viliam Slodicák, Pavol Macko, 2011, CEFP.

Some New Approaches in Functional Programming Using Algebras and Coalgebras

Viliam Slodicák, Pavol Macko, 2011, Electron. Notes Theor. Comput. Sci..