|
|
|
|
115. Denotacijska semantika PCFKristjan 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 Celotno besedilo (datoteka, 564,75 KB) |
|
|
|
|
|