Lambda-calculus, combinators and applicative computational technologies

Ismailova, L; Wolfengagen, V; Kosikov, S

Wolfengagen, V (通讯作者),Natl Res Nucl Univ, Moscow Engn Phys Inst, Kashirskoye Shosse 31, Moscow 115409, Russia.

COGNITIVE SYSTEMS RESEARCH, 2022; 76 (): 93

Abstract

Applicative computing systems and technologies have taken a strong position in modern computing. In this paper, the basic applicative system, whether ......

Full Text Link