Lambda the Ultimate

type	title	author	last post
Forum topic	On the (Alleged) Value of Proof for Assurance Falsifiability by aed	shap	2016-11-24 01:04
Story	When Formal Systems Kill: Computer Ethics and Formal Methods Formal Ethics by aed	James Iry	2012-02-29 23:02
Story	An intuitionistic logic that proves Markov's principle But is ¬(∀x. ¬P(x)) → ∃x. P(x) by itself valid? by aed	neelk	2010-07-07 08:23
Forum topic	Alternatives to parentheses for grouping Peano by aed	jason stumpf	2010-02-10 13:28
Story	Lambda, the Ultimate TA Well... by aed Bash 'n' Me by aed	Ehud Lamm	2009-11-05 17:26
Forum topic	Algebra Of Programming (Bird, De Moor) Prentice Hall International Series in Computer Science by aed	shahbaz	2009-04-27 20:22
Story	Path Feasibility Analysis for String-Manipulating Programs String rewriting systems by aed	Ehud Lamm	2009-02-09 02:38
Forum topic	Light(er) Reading Suggestions? Turing Omnibus by aed	Bruce Miller	2008-12-13 01:54
Forum topic	Is Halting Problem Valid for P? Chomsky Hierarchy by aed	ajgargand	2008-05-04 23:24
Story	April 1st special: The War of the Worlds Zap by aed	Ehud Lamm	2008-04-06 15:50
Forum topic	Confused Deputies in Programming Languages Illogical by aed	naasking	2008-03-18 02:47
Story	On the origins of Bisimulation, Coinduction, and Fixed Points [Off-Topic] Metablogorrhetical Exposition by aed	Ehud Lamm	2007-11-05 20:48
Forum topic	Simple ADT-based "side-band" state? Hilbert & Gentzen by aed	raould	2007-06-28 00:22
Story	On the fact that the Atlantic Ocean has two sides Sturgeon's Law is "Nothing is always absolutely so"... by aed Blues Traveler by aed	Luke Gorrie	2007-03-05 20:39
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