This is an RSS file. It is intended to be read by a software program called a "feed reader". Search on Google for more details. <![CDATA[Simpy site search for math's Feed]]> http://www.simpy.com/links/site/math http://www.simpy.com/ http://www.simpy.com/img/simpy-icon-16x16.png Simpy http://www.simpy.com/links/site/math 1440 <![CDATA[Julianna Zsido]]> Tagged by lambdareader under Abstract Syntax, Coq, Lambda Calculus, Nice Ville, monads, people, types, ]]>