Timeline for Computer Programs and lambda terms without normal form

11 events

when toggle format	what		by	license	comment
Jun 11, 2015 at 6:06	vote	accept	Lily
May 29, 2015 at 20:21	comment	added	Andrej Bauer		Oh I see, I misread then.
May 29, 2015 at 9:43	comment	added	babou		@AndrejBauer Well, "ideal" does not necessarily means best, it may also mean abstracted, referring to the concept rather than "impure" instances of the concept, such as opposing the ideal square (mathematics) to a square made of cardboard, or drawn on paper. A platonician view. - - - - => Andrej Bauer : Can we meet on chat?
May 29, 2015 at 6:14	comment	added	Andrej Bauer		I'm not so sure about the "ideal" part of your question.
May 29, 2015 at 5:14	answer	added	daniel gratzer		timeline score: 4
May 29, 2015 at 2:28	history	edited	Lily	CC BY-SA 3.0	deleted 15 characters in body; edited title
May 28, 2015 at 14:08	comment	added	babou		Welcome to SE Computer Science. Since you are a new user I should tell you that crossposting on two sites is not well regarded, as it often causes duplication of work. You should try one, then possibly have your question migrated if unsatisfied, or post it in different words later on another site, Crosspost: math.stackexchange.com/questions/1302419
May 28, 2015 at 12:38	history	edited	Raphael		edited tags
May 28, 2015 at 12:19	history	edited	Lily	CC BY-SA 3.0	added 20 characters in body
May 28, 2015 at 12:18	review	First posts
May 28, 2015 at 14:08
May 28, 2015 at 12:13	history	asked	Lily	CC BY-SA 3.0