4 ms·
This book was a huge influence on me when it came out.
by danharaj 7y ago
This book was a huge influence on me when it came out.
- agumonkey 7y agoAny similar books come to your mind ?
- danharaj 7y agoIf you mean something that's influenced my way of thinking: not a book, but some transcribed lectures: On the meanings of the logical constants and the justifications of the logical laws by Martin-Lof [0] If you mean something that takes a very mathematical approach to deriving programs: Algebra of Programming by Bird and de Moor [1] [0] (pdf) https://ncatlab.org/nlab/files/MartinLofOnTheMeaning96.pdf https://ncatlab.org/nlab/files/MartinLofOnTheMeaning96.pdf [1] (pdf) https://themattchan.com/docs/algprog.pdf https://themattchan.com/docs/algprog.pdf
- agumonkey 7y agoThanks, these looks great