Lambda the Ultimate

type	title	author	last post
Story	Pure, Declarative, and Constructive Arithmetic Relations Correspondence to known sets of axioms for the natural numbers? by heckenpenner	Ehud Lamm	2008-03-17 19:38

---

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