×

Book review of: B. Steffen et al., Mathematical foundations of advanced informatics. Volume 1. Inductive approaches. (English) Zbl 1427.00009

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
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.