Fundamental basic for information technologies. Combinatory logic and lambda-calculus. Applicative computational systems.
Main publications:
Wolfengagen V.E., Applicative computing. Its quarks, atoms and molecules, Fundamental basic for information technologies, Center JurInfoR, Moscow, 2010
V. E. Wolfengagen, L. Yu. Ismailova, S. V. Kosikov, A. D. Laptev, V. N. Nazarov, V. V. Roslovtsev, I. S. Safarov, A. L. Stepanov, “Combinators: objects for knowing the structure of computing. Atomic and molecular granularity of computing environment”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2009, no. 2, 132–146
2.
V. E. Wolfengagen, L. Yu. Ismailova, S. V. Kosikov, A. D. Laptev, V. N. Nazarov, V. V. Roslovtsev, I. S. Safarov, A. L. Stepanov, “Applicative computing: attempts for knowing the nature of computations”, Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 2009, no. 2, 118–131