Keywords: matematika, polimorfni lambda račun, parametrični polimorfizem, denotacijska semantikaFull text (file, 394,21 KB)