https://pinboard.in/u:dhartunian/public/ recent bookmarks from dhartunian 2018-11-04T13:11:25+00:00 http://www.markability.net/ dhartunianmath logic abstract-math education https://pinboard.in/ https://pinboard.in/u:dhartunian/b:b2619abc189c/ 2018-11-03T21:06:44+00:00 https://teorth.github.io/QED/ dhartunianlogic online-learning edtech abstract-math https://pinboard.in/ https://pinboard.in/u:dhartunian/b:d6d2b9e898a4/ 2017-08-03T03:48:00+00:00 http://adam.chlipala.net/frap/frap_book.pdf dhartunianpdf logic proof programming-language-design coq https://pinboard.in/ https://pinboard.in/u:dhartunian/b:a0611eef21f6/ 2014-10-05T05:48:18+00:00 http://www.cs.cmu.edu/~crary/819-f09/ dhartunianprogramming-languages logic reading-material https://pinboard.in/ https://pinboard.in/u:dhartunian/b:83120ad82372/ 2014-06-28T14:49:38+00:00 http://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf dhartuniantype-theory pdf lambda-calculus logic https://pinboard.in/ https://pinboard.in/u:dhartunian/b:889d9705e1c3/ 2012-10-16T21:26:11+00:00 http://a-kleber.narod.ru/lw/lw-tractatus-eng.pdf dhartunianlogic philosophy wittgenstein pdf https://pinboard.in/ https://pinboard.in/u:dhartunian/b:12aae538c3a9/ 2012-09-04T15:41:16+00:00 http://www.cs.uoregon.edu/Activities/summerschool/summer12/curriculum.html dhartunianprogramming-languages lectures course-materials logic type-theory https://pinboard.in/ https://pinboard.in/u:dhartunian/b:396122181ef3/ 2012-07-24T20:00:57+00:00 http://coq.inria.fr/ dhartuniancoq logic math proof-assistant automated-proof https://pinboard.in/ https://pinboard.in/u:dhartunian/b:770ef855a80a/ 2012-07-23T22:45:14+00:00 http://math.ucr.edu/home/baez/rosetta.pdf dhartunian physics logic math genius-level connections lambda-calculus topology pdf category-theory quantum-mechanics https://pinboard.in/ https://pinboard.in/u:dhartunian/b:3c686f7e3319/ 2012-05-29T03:51:35+00:00 http://logitext.ezyang.scripts.mit.edu/logitext.fcgi/tutorial dhartunianlogic sequent-calculus tutorial https://pinboard.in/ https://pinboard.in/u:dhartunian/b:c5f94f27be93/ 2012-03-16T17:29:42+00:00 http://www.sciencedaily.com/releases/2012/03/120307112749.htm dhartunian .inspiration how-to-solve-it logic problem-solving .personal-development https://pinboard.in/ https://pinboard.in/u:dhartunian/b:4983438ae143/ 2011-11-18T23:47:10+00:00 http://dkeenan.com/Lambda/ dhartunian lambda-calculus info-viz logic math computer-science https://pinboard.in/ https://pinboard.in/u:dhartunian/b:2f9013092813/ 2011-11-16T19:13:47+00:00 http://rec-puzzles.org/ dhartunianlogic math puzzles combinatorics https://pinboard.in/ https://pinboard.in/u:dhartunian/b:d9e6973d3bea/ 2011-11-11T15:34:02+00:00 http://www.earlham.edu/~peters/courses/logsys/lslinks.htm dhartunianlogic course-materials math https://pinboard.in/ https://pinboard.in/u:dhartunian/b:aa80c0ae634c/ 2011-10-19T23:05:21+00:00 http://inferential.wordpress.com/2009/08/03/free-logic-books/ dhartunianmath logic books https://pinboard.in/ https://pinboard.in/u:dhartunian/b:31172ab85c22/