Keywords: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacijaFull text (file, 521,90 KB) This document has more files! More...