1 - 2 / 2 1 |
1. Generiranje izrekov iz tipov funkcij v polimorfnem lambda računu Tomaž Stepišnik Perdih, 2013, undergraduate thesis Keywords: matematika, polimorfni lambda račun, parametrični polimorfizem, denotacijska semantika |
2. Denotacijska semantika PCF Kristjan Kostelec, 2020, final seminar paper Keywords: programski jezik PCF, operacijska semantika, denotacijska semantika, domene, substitucijska lema, izrek o usklajenosti semantike, izrek o ustreznosti semantike, izrek o primernosti semantike |