Year | DOI | Venue |
---|---|---|
2008 | 10.1093/logcom/exm090 | J. Log. Comput. |
Keywords | DocType | Volume |
Natural Language II,Type Theory,Lambda Calculus | Journal | 18 |
Issue | ISSN | Citations |
2 | 0955-792X | 1 |
PageRank | References | Authors |
0.38 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Chris Fox | 1 | 1 | 0.38 |
Maribel Fernández | 2 | 315 | 23.44 |
Shalom Lappin | 3 | 457 | 66.67 |