1 - 2 / 2 1 |
1. Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu Tomaž Stepišnik Perdih, 2013, diplomsko delo Ključne besede: matematika, polimorfni lambda račun, parametrični polimorfizem, denotacijska semantika |
2. Denotacijska semantika PCF Kristjan Kostelec, 2020, delo diplomskega seminarja/zaključno seminarsko delo/naloga Ključne besede: programski jezik PCF, operacijska semantika, denotacijska semantika, domene, substitucijska lema, izrek o usklajenosti semantike, izrek o ustreznosti semantike, izrek o primernosti semantike |