Michaelson, Greg Book review of: B. Steffen et al., Mathematical foundations of advanced informatics. Volume 1. Inductive approaches. (English) Zbl 1427.00009 Formal Asp. Comput. 31, No. 5, 641-642 (2019). Review of [Zbl 1395.68002]. MSC: 00A17 External book reviews 68-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science 00A06 Mathematics for nonmathematicians (engineering, social sciences, etc.) 03B70 Logic in computer science Citations:Zbl 1395.68002 Software:Agda; Idris PDFBibTeX XMLCite \textit{G. Michaelson}, Formal Asp. Comput. 31, No. 5, 641--642 (2019; Zbl 1427.00009) Full Text: DOI References: [1] Bundy A, Grosse G, Brna P (1991) A recursive techniques editor for Prolog. Instr Sci 20(2-3):135-172 · doi:10.1007/BF00120880 [2] Brady E (2017) Type driven development with Idris. Manning, New York [3] Burstall RM (1987) Inductively defined functions in functional programming languages. J Comput Syst Sci 34:409-421 · Zbl 0619.68007 · doi:10.1016/0022-0000(87)90031-6 [4] Nordström B, Petersson K, Smith J (1990) Programming in Martin-Löfs type theory: an introduction. OUP, Oxford · Zbl 0744.03029 [5] Péter R (1967) Recursive functions. Academic Press, New York · Zbl 0154.00601 [6] Turner DA (1995) Elementary Strong Functional Programming, Functional Programming Languages in Education, First International Symposium, FPLE’95, Nijmegen, The Netherlands, December 4-6, 1995, Proceedings, pp 1-13 [7] Wadler P, Kokke W (2019) Programming Language Foundations in Agda. Available at http://plfa.inf.ed.ac.uk/ This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.