Alan Garny wrote:
> Hi Andrew,
>
>
>> I have been looking into how we could define a typed lambda calculus
>> system in CellML, and have written up a document to collect ideas on this:
>> http://www.cellml.org/Members/miller/outline-of-a-typed-lambda-calculus-
>> system
>>
>
> This is a goo
Some comments from Big Brother ;-)
"# We don't really have a good idea of this, but Andrew mentioned MIASE,
which is apparently supposed to be format agnostic, but appears to be quite
specific to SBML so far"
Why is-that? As far as I know, there is nothing in SED-ML (the new name of
the format
Hi Andrew,
> I have been looking into how we could define a typed lambda calculus
> system in CellML, and have written up a document to collect ideas on this:
> http://www.cellml.org/Members/miller/outline-of-a-typed-lambda-calculus-
> system
This is a good starting point, well done!
> Of partic