Lambda the Ultimate Weblog Topics
Last Updated 06/16/2009

Posts By: Andrew Gacek

  Date    Post    Topic  
11/09/2008Beta reduction requires alpha equivalenceβ, η, ξ ⊢ α?

LtU Topic Index Sorted by Date LtU Topic Index Sorted by Topic LtU Index of Post Authors Zipped LtU Archive


Chris Rathman/ Chris.Rathman@tx.rr.com