Lambda the Ultimate

type	title	author	last post
Forum topic	The Church-Turing Thesis: Breaking the Myth You wrote: "While pi is a by vc	naasking	2009-07-18 00:45
Forum topic	Folding neither Left nor Right (or how to avoid overspecifying the solution to a problem) Subtraction by vc	cdiggins	2008-04-22 17:11
Forum topic	Structural recursion on sets No, no AC ;) by vc Ordering and implementation by vc	vc	2008-03-01 02:49
Forum topic	Formal methods for O/R mapping TC by vc RM raison d'etre by vc Mapping by vc HQL by vc Persisting by vc Joins by vc Behaviour by vc The well know network data mo by vc After this decision has bee by vc I apologize if my way of putt by vc ...	Andris Birkmanis	2007-08-19 00:29
Forum topic	Church-Turning is False? Podnieks by vc GT_2 by vc Consistency by vc GT by vc	Bryan Turner	2006-06-28 09:36
Forum topic	Relevance of Curry-Howard BHK by vc BHK interpretation by vc	Klaus Ostermann	2006-06-12 13:36
Forum topic	Buried Treasure - No Fluff Just Stuff What specific type system by vc Type theory by vc Axiom of Foundation by vc Russell's paradox by vc	Isaac Gouy	2006-06-08 03:44
Forum topic	Lambda the Ultimate Set Comprehension Functions as applications by vc About NBG by vc NBG by vc well-ordering by vc Math induction by vc Cat(SET) by vc Peano isomorphism by vc Peano in ZF by vc Intuitions by vc Functions/mappings by vc ...	xyzzy	2006-05-17 06:05
Forum topic	Persistent functional databases Unique constraint/index by vc Unique constraints/indices by vc Versioning, indices by vc Boolean by vc CWA by vc Tuple by vc Versioning by vc Boolean by vc	Robbert van Dalen	2006-04-26 07:13
Story	foldl and foldr Haskel N by vc Perfect sense by vc What's the difference by vc canto by vc ∞ algebra by vc fold by vc Algebra by vc ∞ by vc	Noel	2006-04-20 16:34
Story	The Reasoned Schemer with Oz Indices by vc	Chris Rathman	2006-04-06 11:44
Forum topic	Class hierarchies and Ontologies Projection by vc Interpreters by vc Machine interpretation by vc Machine semantics by vc Understanding by vc Ontology Theory by vc Terminology by vc database modeller by vc Pardon by vc Definition by vc ...	Neil Madden	2006-04-03 11:12
Story	When is one thing equal to some other thing? DS by vc Comments by vc Paradox by vc Paraphrase by vc Class/set by vc Dynamic system by vc choice of set theory by vc Library by vc Separation by vc Classes by vc ...	Ehud Lamm	2006-03-16 14:55
Forum topic	Type theory question... Reference by vc Terminology by vc Confusing by vc Types by vc sums and products by vc	Matt Hellige	2006-02-23 22:07
Forum topic	What is a Proposition? propositions and sentences by vc "The theorem demonstrates by vc Actually, Godel showed that by vc "As for unprovable by vc	andrew cooke	2006-02-03 17:04
Forum topic	What is a monad, why should I use it, and when is it appropriate? ML union by vc	Jonathan Allen	2006-02-03 10:54
Story	An interview with Chris Date TC is inexpressible in RA by vc	Chris Rathman	2005-08-12 21:17
next page last page

---

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