Hacker News
- Physics, Topology, Logic and Computation: A Rosetta Stone (2009) [pdf] http://math.ucr.edu/home/baez/rosetta.pdf 10 comments
- "Physics, Topology, Logic and Computation: A Rosetta Stone", by John Baez and Mike Stay http://math.ucr.edu/home/baez/rosetta.pdf 29 comments math
- Physics, Topology, Logic and Computation: A Rosetta Stone [PDF] http://math.ucr.edu/home/baez/rosetta.pdf 7 comments programming
Lambda the Ultimate
- Physics, Topology, Logic and Computation: A Rosetta Stone http://math.ucr.edu/home/baez/rosetta.pdf 4 comments Theory
Linking pages
- GitHub - mikeizbicki/subhask: Type safe interface for working in subcategories of Hask https://github.com/mikeizbicki/subhask#automated-testing 27 comments
- A Touch of Topological Quantum Computation in Haskell Pt. I | Hey There Buddo! http://www.philipzucker.com/a-touch-of-topological-quantum-computation-in-haskell-pt-i/ 17 comments
- Propositions Are Not Types: Naturalizing Information Content in Computing | by Robert P. Levy | Medium https://medium.com/@rplevy/propositions-are-not-types-naturalizing-information-content-in-computing-e51b94ad6674 17 comments
- A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo! http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/?preview=true 8 comments
- GitHub - prathyvsh/category-theory-resources: Resources for learning Category Theory for an enthusiast https://github.com/prathyvsh/category-theory-resources 3 comments
- Cybernetics Versus Informatics: Understanding the Type Wars | by Robert P. Levy | Medium https://medium.com/@rplevy/cybernetics-versus-informatics-understanding-the-type-wars-99878fe956d6 3 comments
- A Short Skinny on Relations & the Algebra of Programming | Hey There Buddo! http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/ 0 comments
- A Touch of Topological Quantum Computation 3: Categorical Interlude | Hey There Buddo! http://www.philipzucker.com/a-touch-of-topological-computation-3-categorical-interlude/ 0 comments
- Visual Programming: What Went Wrong and Is There Room For Improvement? | by emi | Statebox https://blog.statebox.org/visual-programming-what-went-wrong-and-is-there-room-for-improvement-86fdf06f74f7 0 comments
- Functors, Vectors, and Quantum Circuits | Hey There Buddo! http://www.philipzucker.com/functors-and-vectors/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:math.ucr.edu
Search title: Physics, Topology, Logic and Computation: A Rosetta Stone (2009) [pdf]
See how to search.