Lambda the Ultimate

type	title	author	last post
Forum topic	Best successor to Scheme? axiomatic language by Walter W. Wilson	raould	2016-05-03 06:31
Forum topic	Negation in Logic Languages Axiomatic Language by Walter W. Wilson	Keean Schupke	2015-02-19 17:21
Forum topic	Extended Axiomatic Language	Walter W. Wilson	2014-09-17 19:28
Forum topic	Do Logic Languages Need Negation? Axiomatic Language by Walter W. Wilson	Keean Schupke	2014-07-22 17:47
Forum topic	Less is more. Axiomatic language is about specification, not deduction by Walter W. Wilson Axiomatic Language by Walter W. Wilson	Rys McCusker	2014-01-19 13:05
Forum topic	Axiomatic Language	Walter W. Wilson	2012-11-01 15:43

---

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