Hacker News
- What is Homotopy Type Theory, and are there any interesting implications? https://en.wikipedia.org/wiki/Homotopy_type_theory 26 comments compsci
Linking pages
- Infrequent, Pragmatic, Lambda Blog - Type Enthusiast's Notes about TypeScript. Part 6. Reasoning using Types https://rpeszek.github.io/posts/2022-03-13-ts-types-part6.html 12 comments
- The Asynchronous Computability Theorem | by Leo Gorodinski | Medium https://medium.com/@eulerfx/the-asynchronous-computability-theorem-171e9d7b9423 9 comments
- Interesting Articles I've Read in 2023 – Brett Mullins – Researcher - Data Scientist https://bcmullins.github.io/interesting-articles-2023/ 2 comments
- Teaching Category Theory to Computer Scientists | SIGPLAN Blog https://blog.sigplan.org/2023/04/04/teaching-category-theory-to-computer-scientists/ 1 comment
- The Rise of Type Theory http://pling.jondgoodwin.com/post/rise-of-type-theory/ 0 comments
- Leibniz equality in Haskell, part 2: heterogeneous equality - Ryan Scott https://ryanglscott.github.io/2021/09/06/leibniz-equality-in-haskell-part-2-heterogeneous-equality/ 0 comments
- What is there to be studied? https://boogiemath.org/notes/notes-1 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Homotopy type theory - Wikipedia
See how to search.