Speciality:
05.13.11 (Mathematical and programme software for computers, computer systems, and networks)
Birth date:
30.03.1948
E-mail: Keywords: combinatory logic,
lambda-calculus.
UDC: 004.07(063)
MSC: 03B40, 68Q05, 68Q85, 68N18
Subject:
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