Lambda the Ultimate Weblog Topics
Last Updated 07/28/2010

Posts By: Gabbay

  Date    Post    Topic  
07/24/2010Proof theory for untyped lambda calculusA simple class of Kripke-style models in which logic and computation have equal standing

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

Chris Rathman/