Hank Thediek

type sort icontitleauthorlast post
Forum topicPuzzleScript Tess Foley2014-02-01 15:29
StoryThe marriage of bisimulations and Kripke logical relations Charles Stewart2014-02-01 12:46
Forum topicPragmatic aspects of dimension types, and the problem of angles Douglas McClean2014-01-14 17:44
Forum topicInconsistency Robustness in Logic Programs Hewitt2014-01-01 18:30
Forum topicStrong Mathematical Foundations for Computer Science Hewitt2013-11-25 14:58
Forum topicactors conflate too much raould2013-11-16 01:13
Forum topicContinuation of Discussion: "Mathematics self-proves its own Consistency (contra Gödel et. al.)" Hewitt2013-10-26 19:36
Forum topicAnnual Peter Landin Semantics Seminar: Rationalism v Hardware, Prof Richard Bornat, 2 December 2013, 6pm, London paulboca2013-10-03 17:00
Forum topicHow is LtU doing? Sean McDirmid2013-09-29 23:55
StoryHistory of Logic Programming: What went wrong, What was done about it, and What it might mean for the future Ehud Lamm2013-07-28 20:42
StoryThe Three Laws of Programming Language Design bashyal2013-07-04 14:32
StoryOn the history of the question of whether natural language is “illogical” Ehud Lamm2013-06-06 15:18
Forum topicEndofunctions, cycles and chains hbrandl2013-04-29 17:36
StoryDYNAMO Ehud Lamm2013-04-16 20:53
Forum topicFive "laws" of programming paradigms Peter Van Roy2013-04-07 20:15
Forum topicImport Systems Kay Schluehr2013-01-14 15:05
Forum topicRelational Model Considered Obsolete Hewitt2013-01-12 03:12
Forum topicVisability, state, and Identity Hank Thediek2013-01-07 22:21
Forum topicCareer paths and concerns Jonathan Schuster2012-03-31 18:04
Forum topicWittgenstein versus Turing on Inconsistency Robustness Hewitt2012-03-05 22:15
StoryComputing Needs Time Allan McInnes2012-03-05 19:35
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04
StoryDiagram showing all programming paradigms and their relationships Peter Van Roy2012-01-13 17:06
Forum topic"We Really Don't Know How to Compute!" by Gerald Sussman puredanger2011-11-19 23:37
Forum topicWhat is computation? Concurrency versus Turing's Model Hewitt2011-02-22 13:52