|
|
|
|
115. Denotacijska semantika PCFKristjan 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 Full text (file, 564,75 KB) |
|
|
|
|
|