Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-662-44602-7_23 | IFIP TCS |
Field | DocType | Citations |
Discrete mathematics,Combinatorics,Multivariable calculus,Simply typed lambda calculus,Lambda cube,Natural deduction,Time-scale calculus,Linear logic,Pure type system,Calculus,Abstract machine,Mathematics | Conference | 8 |
PageRank | References | Authors |
0.51 | 26 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Delia Kesner | 1 | 369 | 39.75 |
| Daniel Lima Ventura | 2 | 22 | 4.88 |