Name
Abstract | ||
|---|---|---|
In this paper the set of λ -terras is split into 2ω+1 disjoint classes |
Year | DOI | Venue |
|---|---|---|
1975 | 10.1007/BFb0029521 | Lambda-Calculus and Computer Science Theory |
Keywords | Field | DocType |
partial function,normal form f~ iff when successively applied to any number of normal forms it gives a k-term which possesses normal form. this classification can be effectively determined only for a-terms in normal form.,normal form | Pure mathematics,Mathematics,Partial function,Lambda | Conference |
ISBN | Citations | PageRank |
3-540-07416-3 | 3 | 3.87 |
References | Authors | |
1 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Corrado Böhm | 1 | 487 | 413.44 |
| Mariangiola Dezani-Ciancaglini | 2 | 1615 | 193.57 |