Lambda the Ultimate

type	title	author	last post
Forum topic	PuzzleScript Common Lisp by Hank Thediek What is your world? by Hank Thediek	Tess Foley	2014-02-01 15:29
Story	The marriage of bisimulations and Kripke logical relations The paper is very by Hank Thediek	Charles Stewart	2014-02-01 12:46
Forum topic	Pragmatic aspects of dimension types, and the problem of angles Whatever/Whatever by Hank Thediek	Douglas McClean	2014-01-14 17:44
Forum topic	Inconsistency Robustness in Logic Programs Control question by Hank Thediek	Hewitt	2014-01-01 18:30
Forum topic	Strong Mathematical Foundations for Computer Science I appreciate what you are by Hank Thediek But I asked about by Hank Thediek Birkhoff's rules are just by Hank Thediek But I would argue that by Hank Thediek Complete! by Hank Thediek Two visions of completeness by Hank Thediek What else is there to say? by Hank Thediek Actually a complete lattice by Hank Thediek Logic? by Hank Thediek Understand it! by Hank Thediek ...	Hewitt	2013-11-25 14:58
Forum topic	actors conflate too much Race conditions? by Hank Thediek	raould	2013-11-16 01:13
Forum topic	Continuation of Discussion: "Mathematics self-proves its own Consistency (contra Gödel et. al.)" Logical Idealism? by Hank Thediek States can be indeterminate by Hank Thediek FOM? by Hank Thediek I am guessing at what you by Hank Thediek anticipatory dynamics by Hank Thediek OK, I am willing to play by Hank Thediek OK, I am willing to play by Hank Thediek OK, I am willing to play by Hank Thediek	Hewitt	2013-10-26 19:36
Forum topic	Annual Peter Landin Semantics Seminar: Rationalism v Hardware, Prof Richard Bornat, 2 December 2013, 6pm, London Rationalism vs. Empiricism by Hank Thediek	paulboca	2013-10-03 17:00
Forum topic	How is LtU doing? What works? by Hank Thediek	Sean McDirmid	2013-09-29 23:55
Story	History of Logic Programming: What went wrong, What was done about it, and What it might mean for the future I found this interesting by Hank Thediek A much better rendition of by Hank Thediek An interpretation by Hank Thediek The future of logic programming by Hank Thediek	Ehud Lamm	2013-07-28 20:42
Story	The Three Laws of Programming Language Design Learn the math instead by Hank Thediek	bashyal	2013-07-04 14:32
Story	On the history of the question of whether natural language is “illogical” The surround and conquer by Hank Thediek Re Hilgart by Hank Thediek Thanks for the comments. by Hank Thediek WIE languages are too logical. by Hank Thediek	Ehud Lamm	2013-06-06 15:18
Forum topic	Endofunctions, cycles and chains What language? by Hank Thediek	hbrandl	2013-04-29 17:36
Story	DYNAMO My take on the Macy by Hank Thediek The Macy Conferences by Hank Thediek	Ehud Lamm	2013-04-16 20:53
Forum topic	Five "laws" of programming paradigms Dummy by Hank Thediek Here's one by Hank Thediek Got 2.5 Hours? by Hank Thediek	Peter Van Roy	2013-04-07 20:15
Forum topic	Import Systems Managing Complexity by Hank Thediek	Kay Schluehr	2013-01-14 15:05
Forum topic	Relational Model Considered Obsolete Considered Obsolete by Hank Thediek	Hewitt	2013-01-12 03:12
Forum topic	Visability, state, and Identity	Hank Thediek	2013-01-07 22:21
Forum topic	Career paths and concerns Your second point is a by Hank Thediek	Jonathan Schuster	2012-03-31 18:04
Forum topic	Wittgenstein versus Turing on Inconsistency Robustness Inconsistency Robustness by Hank Thediek	Hewitt	2012-03-05 22:15
Story	Computing Needs Time Agreed by Hank Thediek	Allan McInnes	2012-03-05 19:35
Forum topic	Embedding Prolog in Haskell Neoclassical logic by Hank Thediek Logical Metaphysics by Hank Thediek	Frank Atanassow	2012-02-13 17:04
Story	Diagram showing all programming paradigms and their relationships Clarification by Hank Thediek The meaning isn't simple by Hank Thediek I am thinking about the by Hank Thediek Labels by Hank Thediek	Peter Van Roy	2012-01-13 17:06
Forum topic	"We Really Don't Know How to Compute!" by Gerald Sussman Classic by Hank Thediek	puredanger	2011-11-19 23:37
Forum topic	What is computation? Concurrency versus Turing's Model Constructive proof theory? by Hank Thediek Unbounded Non-determinism by Hank Thediek	Hewitt	2011-02-22 13:52
first page previous page 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