1 - 1 / 1 1 |
1. Denotacijska semantika PCF Kristjan Kostelec, 2020, diplomsko delo 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 |