Top network posts
- 22 What, mathematically speaking, does it mean to say that the continuation monad can simulate all monads?
- 14 Continuations in mathematics: nice examples?
- 13 A peculiarity of Henkin's 1950 proof of completeness for higher order logic
- 10 Interesting operators in Haskell that obey modal axioms
- 10 Failed to initialise color list unarchiver
- 9 The Curry Howard Isomorphism and models for an intuitionistic modal logic and its bimodal translation
- 8 Extending a tree
- View more network posts →