✦ LIBER ✦

Programming recursively defined functions infortran

✍ Scribed by A. J. Guttmann

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Typed Closure Conversion for Recursively

✍ Greg Morrisett; Robert Harper 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 535 KB

Design of recursive programs for calcula

✍ S. P. Rodimin 📂 Article 📅 1985 🏛 Springer US 🌐 English ⚖ 716 KB

Inductively defined functions in functio

✍ R.M. Burstall 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 646 KB

Graphs and recursively defined towers of

✍ Peter Beelen 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 321 KB

A Macro Program for the Primitive Recurs

✍ Hilbert Levitz; Warren Nichols; Robert F. Smith 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 205 KB 👁 1 views

Non-definability of the Ackermann functi

✍ Karl-Heinz Niggl 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 185 KB