Pinboard (rafaeldff)
https://pinboard.in/u:rafaeldff/public/
recent bookmarks from rafaeldffPractical Foundations of Mathematics2006-06-11T05:33:41+00:00
http://www.cs.man.ac.uk/~pt/Practical_Foundations/html/
rafaeldffPaulTaylor book online mathematics math proof formal formalism logic set theory SetTheory free systems system foundations category CategoryTheory Cambridge.https://pinboard.in/u:rafaeldff/b:a86b55512323/ACM Queue - The Calculus Formally Known as Pi - The hype over the pi-calculus2006-05-31T14:53:16+00:00
http://acmqueue.com/modules.php?name=Content&pa=showpage&pid=392
rafaeldffarticle formal formalism system systems logic philosophy math mathematics CS ComputerScience PI-calculus PI paper queue ACM StanKelly-Bootle StanKellyBootlehttps://pinboard.in/u:rafaeldff/b:9b61cdcb3fea/