Ključne besede: lambda račun, časovno omejeni viri, modalni tipi, izrek o varnosti, teorija enačb, skladnost, formalizacijaCelotno besedilo (datoteka, 521,90 KB) Gradivo ima več datotek! Več...