Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
435270 | Theoretical Computer Science | 2016 | 13 Pages |
Abstract
Among the unsolvable terms of the lambda calculus, the mute ones are those having the highest degree of undefinedness. In this paper, we define for each natural number n , an infinite and recursive set MnMn of mute terms, and show that it is graph-easy: for any closed term t of the lambda calculus there exists a graph model equating all the terms of MnMn to t. Alongside, we provide a brief survey of the notion of undefinedness in the lambda calculus.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
A. Bucciarelli, A. Carraro, G. Favro, A. Salibra,