|
|
|
|
|
|
|
8. Operacijska semantika za jezik s časovno omejenimi viriGašper Žajdela, 2023, master's thesis/paper Keywords: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacija Full text (file, 521,90 KB) This document has more files! More... |