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

Andrew Miller wrote: Hi all, 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 document does not yet aim to be a

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

On 26/08/08 12:28, Jonathan Cooper wrote: Andrew Miller wrote: Hi all, 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:

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

In our case, we would also need to know the units associated with those variables. So, again using a C/C++ syntax, we could have something like: ~~~ int_metre A; double_millivolt V; bool_dimensionless T; ~~~

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

Variables as types: --- - Do we really want to allow generic types? I am concerned that this could lead to models that are not bullet-proof. The core of CellML can be very generic, and then secondary specifications can narrow down CellML to a subset of CellML which can

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

MathML operators for dealing with types: - Creating types which represent the product space of two (or more) other types. For example, given the types real_metre and real_second, creates the type for both a real_metre and real_second.

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

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] A typed lambda calculus system for CellML

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

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

Andrew: This seems like a very good idea. How much work has actually been done in this area? Best regards, Randy Owen Software Engineering Group Oxford In message [EMAIL PROTECTED] CellML Discussion List cellml-discussion@cellml.org writes: Hi all, I have been looking into how we could

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

Randall Owen wrote: Andrew: This seems like a very good idea. How much work has actually been done in this area? Hi Randy, I presume you are only asking about work in relation to CellML? The document I linked is pretty much it in terms of actual written up documents... once we allow

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

Hi all, 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 document does not yet aim to be a formal specification, but