Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-642-54789-8_12 | Categories and Types in Logic, Language, and Physics |
Field | DocType | Citations |
Initial algebra,Lambda calculus,Algebraic structure,Pure mathematics,Functor,Isomorphism,Fixed point,Monad (functional programming),Mathematics,Lemma (mathematics) | Conference | 0 |
PageRank | References | Authors |
0.34 | 20 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
B. Jacobs | 1 | 1046 | 100.09 |
Alexandra Silva | 2 | 36 | 10.51 |