| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 436340 | Theoretical Computer Science | 2008 | 4 Pages |
Abstract
A sketch of the proof is given for an open problem, the range property for H: the range of a closed λ-term in the closed term model modulo -conversion and equating unsolvable terms is either a singleton or infinite. The proof depends on one unresolved technical conjecture.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
