Re: [cellml-discussion] A typed lambda calculus system for CellML

2008-08-05 Thread Alan Garny
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 particular

Re: [cellml-discussion] ABI CellML team meeting minutes 2008-07-30

2008-08-05 Thread Nicolas Le novère
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

Re: [cellml-discussion] A typed lambda calculus system for CellML

2008-08-05 Thread Andrew Miller
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