Lambda the Ultimate

type	title	author	last post
Forum topic	The stack calculus : a fundamental (and simple !) calculus for Classical Logic Sequel by Frederic Koehler	gasche	2013-04-11 12:13
Forum topic	Typed Process Calculi	Frederic Koehler	2013-01-24 00:49

---

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