Hacker News
- Propositions Are Not Types (2018) https://medium.com/@rplevy/propositions-are-not-types-naturalizing-information-content-in-computing-e51b94ad6674 17 comments
- Propositions as Types (2014) [pdf] http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 6 comments
- On Propositions as Types [video] http://paperswelove.org/2015/video/michael-bernstein-propositions-as-types/ 3 comments
Lobsters
- Propositions as types: explained (and debunked) https://lawrencecpaulson.github.io/2023/08/23/Propositions_as_Types.html 11 comments formalmethods , plt
- Wadler's Blog: Propositions as Types http://wadler.blogspot.com/2014/03/propositions-as-types.html 3 comments compsci , math
- [Video] Propositions as Types https://www.youtube.com/watch?v=SknxggwRPzU 10 comments math
- Propositions as Types - Computerphile https://youtu.be/SknxggwRPzU 9 comments haskell
- "Propositions as Types" by Philip Wadler https://www.youtube.com/watch?v=IOiZatlZtGU 40 comments haskell
- Questions on Wadler's "Propositions as Types" https://www.youtube.com/watch?v=IOiZatlZtGU 7 comments compsci
- "Propositions as Types" by Philip Wadler [Video] 42min http://vid.plus/ioizatlztgu 3 comments programming
- "Propositions as Types" by Philip Wadler https://www.youtube.com/watch?v=IOiZatlZtGU 106 comments programming
- Propositions as types (pdf) http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 18 comments programming
- Propositions as Types - [PDF] (Wadler, Version 8 - 2014) http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 3 comments haskell
- from propositions into types - using types instead of tests http://pragprog.com/magazines/2013-07/dependent-types-iii 15 comments programming
- Proposition for "strongly typing" query language. https://www.reddit.com/r/philosophy/comments/5yd4s4/proposition_for_strongly_typing_query_language/ 3 comments philosophy
- What does a negative proposition represent in type theory? http://lists.seas.upenn.edu/pipermail/types-list/2010/001484.html 10 comments programming
Lambda the Ultimate
- Propositions as Types http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf 34 comments Fun , History , Theory
- Propositions as [Types] http://math.andrej.com/2004/05/04/propositions-as-types/ 5 comments Category Theory , Type Theory