Lambda the Ultimate Weblog Topics
Last Updated 09/24/2006

Posts By: Martin Ellis

  Date    Post    Topic  
05/03/2006Perhaps also 'Computers Ltd'?Proofs are Programs: 19th Century Logic and 21st Century Computing
05/03/2006Psychology...Proofs are Programs: 19th Century Logic and 21st Century Computing

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


Chris Rathman/ chris.rathman@comcast.net