Lambda the Ultimate

type	title	author	last post
Forum topic	SF-calculus Grammaire by p4bl0 How about simulating TM using untyped LC? by p4bl0	Barry Jay	2013-08-30 18:42
Forum topic	Are You Using the Right Axiomatic System? Whoa! by p4bl0	Charles Stewart	2011-05-13 13:50

---

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