Name
Year | Venue | Keywords |
|---|---|---|
1987 | LICS | lambda calculus |
Field | DocType | Citations |
Discrete mathematics,Lambda calculus,Binary lambda calculus,Typed lambda calculus,Computer science,System F,Church encoding | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Corrado Böhm | 1 | 487 | 413.44 |
| Enrico Tronci | 2 | 336 | 35.83 |