Pinboard (rafaeldff)
https://pinboard.in/u:rafaeldff/public/
recent bookmarks from rafaeldffProofs and Types2012-09-10T18:02:13+00:00
http://www.paultaylor.eu/stable/Proofs+Types.html
rafaeldffintuitionistic logic Gentzen Brouwer Heyting Godel CHI Girard Jean-YvesGirard YvesLafont PaulTaylor IntuitionisticLogic CurryHoward CurryHowardIsomorphism isomorphism types TypeSystem TypeTheory typing system LambdaCalculushttps://pinboard.in/https://pinboard.in/u:rafaeldff/b:614fc7f3b548/Practical 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/