Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Koh Aoki
Yan-Han Chew
Bhupendra Singh
Wei Tang
Jianning Deng
Guihong Chen
David J. Westover
Songhua Li
Sebastian Magda
David MacDonald
Home
/
Paper
/
Monad normalisation.
Paper Info
Open Visualization
Title
Monad normalisation.
Year
Venue
DocType
2017
Archive of Formal Proofs
Journal
Volume
Citations
PageRank
2017
0
0.34
References
Authors
0
3
Authors (3 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Joshua Schneider
1
0
3.38
Manuel Eberl
2
11
13.27
Andreas Lochbihler
3
133
20.59
1
