Lambda the Ultimate Weblog Topics
Last Updated 03/21/2010

Posts By: jpost

  Date    Post    Topic  
12/13/2008The 30th anniversary of "the mother of all demos"The programming languages behind "the mother of all demos"
07/29/2008Happy BirthdayHappy Birthday, dear Lambda!
07/21/2008U.S. Air Force interested in Understanding Incorrect ProgramsA System to Understand Incorrect Programs
07/20/2008Decimal Goedelization of Heyting's 11 axiomsThe Development of Intuitionistic Logic
07/21/2008Nicely done, Sjoerd Visscher: postfix notation for Decimal GoedeThe Development of Intuitionistic Logic
07/21/2008Schroeppel's conjecture, Jonathan Swift, Fritz Zwicky, WolframThe Development of Intuitionistic Logic

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

Chris Rathman/