Posts By: Greg Restall
| Date | Post | Topic |
| 10/28/2005 | hmmm.... | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 10/28/2005 | Dummett and M-L | Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? |
| 07/05/2005 | Thanks! | Why Dependent Types Matter |
| 03/22/2005 | Not just out of print books either | Print.google.com |
| 03/22/2005 | Got it | Print.google.com |
| 03/22/2005 | The rest of the book is there, if you search into it. | Print.google.com |
| 02/25/2005 | Thanks! | Proof and Counterexample |
| 02/27/2005 | SD05 | Proof and Counterexample |
| LtU Topic Index Sorted by Date | LtU Topic Index Sorted by Topic | LtU Index of Post Authors | Zipped LtU Archive |