|
|||||
|
|
The systematic construction of a one-combinator basis for Lambda-Terms |
|
| Authors: | Jeroen Fokker |
| Affiliation: | 1.Department of Computer Science,Utrecht University,Utrecht,The Netherlands |
| Abstract: | A single closed λ-expression that generates all λ-expressions is constructed. The derivation is carried out with simplicity as driving force. The result is simpler than single-combinator bases known in the literature. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |