Re: A Definition of an Algorithm

From: "Per Freem" <perfreem@xxxxxxxxx>
Date: Thu, 23 Feb 2006 17:30:13 +0000 (UTC)

have you seen the entry on "Algorithm" in MITECS? a comparison with
your account would be interesting.

sidenote: do you have the latex src of the paper? i am interested to
see how these diagrams were made; they were very helpful to the
exposition.

thanks!

.

Follow-Ups:
- Re: A Definition of an Algorithm
  - From: noson

Prev by Date: Voevodsky on the homotopy lambda calculus
Next by Date: problem about bisection
Previous by thread: Voevodsky on the homotopy lambda calculus
Next by thread: Re: A Definition of an Algorithm
Index(es):
- Date
- Thread