𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Provably Correct Translation of theλ-Calculus into a Mathematical Model of C++

✍ Scribed by Rose H. Abdul Rauf; Ulrich Berger; Anton Setzer

Publisher
Springer
Year
2007
Tongue
English
Weight
447 KB
Volume
43
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A mathematical model of the methionine c
A mathematical model of the methionine cycle
✍ Michael C. Reed; H.Frederik Nijhout; Rachel Sparks; Cornelia M. Ulrich 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 700 KB

Building on the work of Martinov et al. (2000), a mathematical model is developed for the methionine cycle. A large amount of information is available about the enzymes that catalyse individual reaction steps in the cycle, from methionine to S-adenosylmethionine to S-adenosylhomocysteine to homocyst