propositions-as-types.pdf
homepages.inf.ed.ac.uk · 8,008 words · saved by 1 readers
N/A
Propositions as Types ∗ Philip Wadler University of Edinburgh wadler@inf.ed.ac.uk Powerful insights arise from linking two fields of study previ- cluding Agda, Automath, Coq, Epigram, F# , F? , Haskell, LF, ML, ously thought separate. Examples include Descartes’s coordinates, NuPRL, Scala, Singularity, and Trellys. which links geometry to algebra, Planck’s Quantum Theory, which…
saved by
related reading
- Type theory - Wikipediaen.wikipedia.org
- Curry–Howard correspondenceen.wikipedia.org
- Lambda calculus - Wikipediaen.wikipedia.org
- Curry–Howard correspondence - Wikipediaen.wikipedia.org
- Ludwig.Wittgenstein.-.Philosophical.Investigations.pdfstatic1.squarespace.com
- canon00-goedel.pdfhirzels.com
- What is PLUS times PLUS?youtube.com
- Intuitionistic logic - Wikipediaen.wikipedia.org
- Mathematics for Computer Sciencepeople.csail.mit.edu
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- More than argument, logic is the very structure of realityaeon.co
- computational trilogy in nLabncatlab.org