Lambda the Ultimate Weblog Topics
Last Updated 02/04/2011

Posts By: codyroux

  Date    Post    Topic  
10/29/2010Another referenceErasure and Polymorphism in Pure Type Systems
09/28/2010Coq is not a traditionnal programming languageobj vs. ml vs. coq (fight?)
09/28/2010Type:TypeOmega - Language of the Future
07/21/2010You could also look atIs lambda calculus a logic?
07/03/2010YesAn intuitionistic logic that proves Markov's principle
06/25/2010Map theoryA lambda calculus with arbitrary set primitives

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

Chris Rathman/