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