[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [Aldor-l] [Axiom-developer] spad: language and compiler
|
From: |
Gabriel Dos Reis |
|
Subject: |
RE: [Aldor-l] [Axiom-developer] spad: language and compiler |
|
Date: |
Wed, 30 Aug 2006 14:04:11 -0500 (CDT) |
On Wed, 30 Aug 2006, Page, Bill wrote:
| But I supposed Gaby would claim that these are still more
| "vague allusions to co-inductive formalism" ;) Oh well...
I hope we would make progress with scientific skepticism :-)
-- Gaby
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- RE: [Aldor-l] [Axiom-developer] spad: language and compiler,
Gabriel Dos Reis <=