Recursive function theory - Revision history

Simon04: /* Implementations */ link to archive.org-archived version as the website is no longer available

Simon04 — Sun, 29 Jan 2012 13:13:52 GMT

Implementations: link to archive.org-archived version as the website is no longer available

EndreyMark: /Recursive functions/ ``Homogenous'' version of generalized composition

EndreyMark — Sun, 22 Oct 2006 09:30:21 GMT

Recursive functions: ``Homogenous'' version of generalized composition

EndreyMark: Mentioning Kleene's s^m_n theorem in the context of currying

EndreyMark — Thu, 17 Aug 2006 14:56:30 GMT

Mentioning Kleene's s^m_n theorem in the context of currying

EndreyMark: typographic corrections, formatting, some more words at not-clear sentences

EndreyMark — Sat, 06 May 2006 21:06:58 GMT

typographic corrections, formatting, some more words at not-clear sentences

EndreyMark: Making reference to fixed point theorem a link (to the appropriate section of David Madore's Selfrep/Quine page)

EndreyMark — Sat, 06 May 2006 17:14:14 GMT

Making reference to fixed point theorem a link (to the appropriate section of David Madore's Selfrep/Quine page)

EndreyMark: New section /Notations/, with also some remarks on type safety relating to partial functions

EndreyMark — Sat, 06 May 2006 17:02:36 GMT

New section - Notations: , with also some remarks on type safety relating to partial functions

EndreyMark: Lack of variables gives a feeling resembling to pointfree style

EndreyMark — Sat, 06 May 2006 16:34:18 GMT

Lack of variables gives a feeling resembling to pointfree style

EndreyMark: Rewriting a section and renaming it to /Motivations/. It discusses the (mainly only indirect) relatedness of this page to Haskell.

EndreyMark — Sat, 06 May 2006 15:32:49 GMT

Rewriting a section and renaming it to - Motivations: . It discusses the (mainly only indirect) relatedness of this page to Haskell.

EndreyMark: Adding link to Dr Matt Fairtlough's lecture notes, as they contain theoretical texts, implementations written in Haskell, and further useful links. Using also his term ,,initial functions''

EndreyMark — Sun, 30 Apr 2006 13:20:31 GMT

Adding link to Dr Matt Fairtlough's lecture notes, as they contain theoretical texts, implementations written in Haskell, and further useful links. Using also his term ,,initial functions''

EndreyMark: Typographic corrections and clearer choice of words

EndreyMark — Sun, 30 Apr 2006 09:37:09 GMT

Typographic corrections and clearer choice of words