Posts By: jpost
| Date | Post | Topic |
| 12/13/2008 | The 30th anniversary of "the mother of all demos" | The programming languages behind "the mother of all demos" |
| 07/29/2008 | Happy Birthday | Happy Birthday, dear Lambda! |
| 07/21/2008 | U.S. Air Force interested in Understanding Incorrect Programs | A System to Understand Incorrect Programs |
| 07/20/2008 | Decimal Goedelization of Heyting's 11 axioms | The Development of Intuitionistic Logic |
| 07/21/2008 | Nicely done, Sjoerd Visscher: postfix notation for Decimal Goede | The Development of Intuitionistic Logic |
| 07/21/2008 | Schroeppel's conjecture, Jonathan Swift, Fritz Zwicky, Wolfram | The Development of Intuitionistic Logic |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |