Name
Year | Venue | Field |
|---|---|---|
2011 | TYPES | Diagonal,Monad (category theory),Matrix (mathematics),Computer science,Automated theorem proving,Algorithm,Data type,Coinduction |
DocType | Citations | PageRank |
Conference | 1 | 0.41 |
References | Authors | |
4 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ralph Matthes | 1 | 201 | 21.67 |
| Celia Picard | 2 | 9 | 1.35 |