Apparently, this user prefers to keep an air of mystery about them.
17 Combinators for the Primitive Recursive Functions Jan 10 '13
6 Book for self study of algorithms in group theory Dec 11 '15
4 Algebra and algebraic data types Jan 2
3 Program reasoning about own source code Sep 7 '15
2 Is it a Known Concept to Compute an Algorithm Once and Re-Interpret Answer for Different Inputs Sep 7 '15