Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-33636-3_2 | MPC |
Field | DocType | Citations |
Algebraic number,Axiomatic system,Abstraction,Functional programming,Computer science,Equational reasoning,Theoretical computer science,Monad (functional programming) | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Koen Pauwels | 1 | 0 | 0.68 |
tom schrijvers | 2 | 652 | 63.35 |
Shin-Cheng Mu | 3 | 0 | 1.69 |