Vladimir ShelekhovE-mailvshel@iis.nsk.suOrganization: A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher Academic degree: PhD List of Articles: Shelekhov V. The language of calculus of computable predicates as a minimal kernel for functional languages // Computer Science. — 2009 . — # 29. — P. 107-117