URN:NBN:SI:DOC-SL2671A92019Voorneveld, Nielsdocuments/doc/S/URN_NBN_SI_doc-SL2671A9_001.pdfdocuments/doc/S/URN_NBN_SI_doc-SL2671A9_001.txthttps://repozitorij.uni-lj.si/IzpisGradiva.php?id=113694https://repozitorij.uni-lj.si/IzpisGradiva.php?id=113745doktorska delaIX, 198 str., 30 cm18936409https://repozitorij.uni-lj.si/IzpisGradiva.php?id=113745URN:NBN:SI:doc-SL2671A9engN. Voorneveldvisokošolska delaInCalgebraic effectsalgebrajski učinkiaplikativna bipodobnostapplicative bisimilaritybehavioural logiccall-by-push-valuecomplete latticesenakovrednost programovfunctional programmingfunkcijsko programiranjeHowe methodHowejeva metodaklic po naloženi vrednostimatematikamathematicsmodalitiesmodalnostipolne mrežeprogram equivalencevedenjska logika