j4n bur53

typetitle sort iconauthorlast post
Forum topicFuture of Programs using Assertions, Goals, and Plans Hewitt2013-08-10 01:07
StoryOn the history of the question of whether natural language is “illogical” Ehud Lamm2013-06-06 15:18
Forum topicJanus: A Time-Reversible Language Sean McDirmid2013-05-25 11:38
Forum topicEverybody Needs a Syntax Extension Sometimes danbst2013-05-19 12:26
Forum topicThe stack calculus : a fundamental (and simple !) calculus for Classical Logic gasche2013-04-11 12:13
StoryLtU is migrating from Drupal Ehud Lamm2013-04-02 07:38
Forum topicRelational Model Considered Obsolete Hewitt2013-01-12 03:12
Forum topicA new look at multimaps Robbert van Dalen2012-11-29 03:28
StoryParsing: The Solved Problem That Isn't James Iry2012-08-26 09:11
StoryInteractive Tutorial of the Sequent Calculus Manuel J. Simoni2012-07-24 17:55
StoryJulia, a language for technical computing Manuel J. Simoni2012-03-12 02:05
StoryWhat does focusing tell us about language design? Manuel J. Simoni2012-03-07 19:07
StoryWhen Formal Systems Kill: Computer Ethics and Formal Methods James Iry2012-02-29 23:02
StoryDependently Typed Programming based on Automated Theorem Proving Jacques Carette2012-02-22 18:59
Forum topicEmbedding Prolog in Haskell Frank Atanassow2012-02-13 17:04
Forum topicGeneral purpose as a special case? Wendell2011-12-18 04:04
Forum topicJohn McCarthy has passed Thomas Lord2011-12-11 10:31
StoryThe Experimental Effectiveness of Mathematical Proof Paul Snively2011-11-12 12:16
Forum topic"Crutches in language design", accidental complexity and feature overlap gasche2011-11-07 11:46
Forum topicCan I express variable occurence ranges in logic? j4n bur532011-10-19 10:10
StoryThe Semicolon Wars James Iry2011-02-20 15:00