links · people · groups · tags | My: links · tags · groups · watchlists · notes login · sign up now! | help · blog
Simpy simpy
 
Search Everyone: math
Sort by: relevance · freshness · popularity Search: multi · tag · site · extension
1 - 1 of 1    
 
Copy this Julianna Zsido
by lambdareader ... last on 2006-07-14 ... tags: Abstract Syntax · Coq · Lambda Calculus · Nice Ville · monads · people · types
http://math/~zsido/ - cached - mail it - history
1 - 1 of 1    
Related Users
 
1 lambdareader
Related Tags
 
1 abstract syntax
1 coq
1 lambda calculus
1 monads
1 nice ville
1 people
1 types
 
 
 
sign up now! · FAQ · about · advertising · blog · Contact · Privacy Policy · Terms & Conditions · © Copyright 2004-2008 Simpy. All Rights Reserved.
Note: If you can read this text, it means that you are not experiencing Simpy at its best. Simpy makes heavy use of Extensible Hypertext Markup Language (XHTML) and Cascading Style Sheets (CSS), which means that a modern, standards-compliant browser is needed for using Simpy. Please see how to get a better browser.