Posts By: Neil Leslie
| Date | Post | Topic |
| 06/30/2006 | Euclid's Algorithm | Gottfried Wilhelm Leibniz |
| 12/02/2005 | Type theoretical grammar | Do we talk types over the phone? |
| 10/27/2005 | Don't forget BHK | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 10/28/2005 | Yes, be constructive | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |