Lambda the Ultimate

type	title	author	last post
Story	Just What is it that Makes Martin-Lof's Type Theory so Different, so Appealing? Dummett and M-L by Greg Restall hmmm.... by Greg Restall	Ehud Lamm	2005-11-02 01:34
Story	Why Dependent Types Matter Thanks! by Greg Restall	Ehud Lamm	2005-07-05 08:34
Story	print.google.com The rest of the book is there, if you search into it. by Greg Restall Got it by Greg Restall Not just out of print books either by Greg Restall	Charles A Stewart	2005-03-22 19:59
Story	Proof and Counterexample SD05 by Greg Restall Thanks! by Greg Restall	Ehud Lamm	2005-02-28 13:47

---

Logs: Hack The Planet ; JavaLobby ; Daily Python-URL ; Daily WTF ; PHP everywhere ; (more)
Wikis: WikiWiki ; Erlang ; Common Lisp ; Haskell ; Squeak ; Tcl ; Program Transformation