English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
super-recursive algorithms
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-07-25 (21:08)
From: Oliver Bandel <oliver@f...>
Subject: super-recursive algorithms

someone who is able to explain me them?
What are super-recursive algorithms?

How are they related to lazy programming?

The less I found about them seem to point in a direction,
that HvF has mentioned in his texts, where he wrote about
calculating a reality.

Are they endless calculations, and therefore related to lazy programming?

Thanks in Advance,