20.500.12556/RUL-97144 Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu delo diplomskega seminarja Generating theorems from types of functions in polymorphic lambda calculus matematika polimorfni lambda račun parametrični polimorfizem denotacijska semantika mathematics polymorphic lambda calculus parametric polymorphism denotational semantics true false false [T. Stepišnik Perdih] Slovenski jezik Angleški jezik Delo diplomskega seminarja/zaključno seminarsko delo/naloga 2017-10-20 12:32:41 2017-10-20 12:32:42 2022-08-12 12:13:42 0000-00-00 00:00:00 2013 0 Ljubljana 2013 Ljubljana 24 str. 0000-00-00 NiDoloceno NiDoloceno NiDoloceno 0000-00-00 0000-00-00 0000-00-00 510.6 16967001 RAZ_Stepisnik_Perdih_Tomaz_i2013.pdf RAZ_Stepisnik_Perdih_Tomaz_i2013.pdf 1 CB1DED5AEEF6B3920DEFAC68C4569FC1 796bc61ca1e83f0a2028f66e4bd5c056a803fcf8394d5676955b0c463c2e2bc4 173b9419-a1b4-11eb-a523-00155dcfd717 20.500.12556/rul/85e18a7b-18a3-4da8-ba14-d903f9ea8767 https://repozitorij.uni-lj.si/Dokument.php?lang=slv&id=106089 Fakulteta za matematiko in fiziko 0 0 0