Abstract | ||
---|---|---|
Recently, A. Polonsky (see [Pol12]) has shown that the range property fails for H. We give here some conditions on a closed term that imply that its range has an infinite cardinality. |
Year | DOI | Venue |
---|---|---|
2014 | 10.2168/LMCS-10(1:3)2014 | LOGICAL METHODS IN COMPUTER SCIENCE |
Keywords | Field | DocType |
lambda calculus,range property,theory H,persistence property | Discrete mathematics,Combinatorics,Cardinality,Mathematics | Journal |
Volume | Issue | ISSN |
10 | 1 | 1860-5974 |
Citations | PageRank | References |
0 | 0.34 | 6 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
René David | 1 | 196 | 21.98 |
Karim Nour | 2 | 65 | 15.07 |