Name
Year | DOI | Venue |
|---|---|---|
2012 | 10.4230/LIPIcs.CSL.2012.228 | CSL |
Keywords | Field | DocType |
languages,linear logic | Asynchronous communication,Discrete mathematics,Geometry of interaction,Computer science,Observational equivalence,Permutation,Sequent calculus,Linear logic,Rule of inference,Semantics | Conference |
Citations | PageRank | References |
12 | 0.62 | 7 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Henry DeYoung | 1 | 69 | 4.74 |
| Luís Caires | 2 | 1037 | 63.30 |
| Frank Pfenning | 3 | 3376 | 265.34 |
| Bernardo Toninho | 4 | 201 | 14.31 |