lambda račun z enostavnimi tipi

simply typed lambda calculus


» Angleško-slovenski in slovensko-angleški terminološki slovar