Lambda-calculus,combinators and applicative computational technologies |
| |
| Institution: | 1. Department of Computer Science, Faculty of Mathematics and Computer Science, University of Bucharest, Bucharest, Romania;2. DiSTA – Department of Theoretical and Applied Science, University of Insubria, Varese, Italy;1. Department of Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran, Iran;2. Department of Energy Engineering and Physics, Medical Radiation Engineering Group, Amirkabir University of Technology, Tehran, Iran;1. University of Western, Australia;2. Defence Science and Technology Group, Australia;3. Ergonomie, Australia |
| |
| Abstract: | Applicative computing systems and technologies have taken a strong position in modern computing. In this paper, the basic applicative system, whether it is a lambda calculus or a system of combinators, is considered as a prototype concept system, using which it is possible to build individual systems that are practically significant for mathematics, computing, or programming. They are families of computational models that have both their own semantics and applied areas. This conceptualization/individualization technique is characteristic of the field of semantic studies. As it turns out, the applicative approach forms a metatheoretical framework that provides the basis for cognitive systems that consider abstract objects and interpret their properties and behavior in the environment of modern computing. |
| |
| Keywords: | Lambda-calculus Combinators Compositional system Cognitive activity |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
