Name
Title | ||
|---|---|---|
Many-valued logics inside λ-calculus: Church's rescue of Russell with B{\"}ohm trees. |
Year | Venue | DocType |
|---|---|---|
2018 | CoRR | Journal |
Volume | Citations | PageRank |
abs/1810.07667 | 0 | 0.34 |
References | Authors | |
0 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Fer-Jan de Vries | 1 | 244 | 21.67 |