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
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 good starting