Journals
Books
Articles by keyword lambda calculus
Review and comparative analysis of methods of constructing terms in combinatory logic

R.V. Dushkin1

1 National Research Nuclear University MEPhI (Moscow, Russia)

1 rvdushkin@mephi.ru

Improving stream data processing efficiency in an intelligent educational system

S.R. Ermakov¹, S.V. Zykov²

¹Russian Technological University MIREA (Moscow, Russia)

²National Research University "Higher School of Economics" (Moscow, Russia)

¹ermakov_s@mirea.ru, ²szykov@hse.ru