[isabelle] paper: "Purely Functional Structured Programming" (arXiv:1007.3023)



Hi,

I am pleased to announce my new paper "Purely Functional Structured Programming" which is available at arXiv.org: http://arxiv.org/abs/1007.3023 .

It also mentions Isabelle :-)

- Steven




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.