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

Randall Owen randall.owen at new.ox.ac.uk
Fri Aug 1 08:40:35 NZST 2008

Next message: [cellml-discussion] A typed lambda calculus system for CellML
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An embedded and charset-unspecified text was scrubbed...
Name: not available
Url: http://www.cellml.org/pipermail/cellml-discussion/attachments/20080731/46f436c3/attachment.diff

Next message: [cellml-discussion] A typed lambda calculus system for CellML
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cellml-discussion mailing list