Hacker News
- TLA+ in Practice and Theory, Part 4: Order in TLA+ https://pron.github.io/posts/tlaplus_part4 11 comments
- TLA+ in Practice and Theory, Part 4: Order in TLA+ https://pron.github.io/posts/tlaplus_part4 4 comments programming
Linked pages
- Redirecting to Google Groups https://groups.google.com/forum/#!original/scheme-reports-wg2/004kIc_juOs/7dnMzJt2AwAJ 1394 comments
- Zeno's paradoxes - Wikipedia https://en.wikipedia.org/wiki/Zeno%27s_paradoxes 189 comments
- Primitive recursive function - Wikipedia http://en.wikipedia.org/wiki/Primitive_recursive_function 79 comments
- Vacuous truth - Wikipedia http://en.wikipedia.org/wiki/Vacuous_truth 36 comments
- A Neighborhood of Infinity: Data and Codata http://blog.sigfpe.com/2007/07/data-and-codata.html 31 comments
- Lattice (order) - Wikipedia http://en.wikipedia.org/wiki/Lattice_(order) 10 comments
- http://www.paultaylor.eu/stable/prot.pdf 8 comments
- http://www.logicmatters.net/resources/pdfs/Galois.pdf 8 comments
- Preorder - Wikipedia https://en.wikipedia.org/wiki/Preorder 5 comments
- Denotational semantics - Wikipedia https://en.wikipedia.org/wiki/Denotational_semantics 0 comments