Formal Aspects of Computing

, Volume 31, Issue 5, pp 641–642 | Cite as

Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches

Springer, 2 April 2018, 258 pp, 156x16x234mm, ISBN-13: 978-3319683966 (Hardback, £28.99),ISBN: 978-3030098339 (Paperback, £27.99)
  • Greg MichaelsonEmail author
Book Review



  1. BGB91.
    Bundy A, Grosse G, Brna P (1991) A recursive techniques editor for Prolog. Instr Sci 20(2–3):135–172CrossRefGoogle Scholar
  2. Bra17.
    Brady E (2017) Type driven development with Idris. Manning, New YorkGoogle Scholar
  3. Bur87.
    Burstall RM (1987) Inductively defined functions in functional programming languages. J Comput Syst Sci 34:409–421MathSciNetCrossRefGoogle Scholar
  4. NPS90.
    Nordström B, Petersson K, Smith J (1990) Programming in Martin-Löfs type theory: an introduction. OUP, OxfordzbMATHGoogle Scholar
  5. Pét67.
    Péter R (1967) Recursive functions. Academic Press, New YorkGoogle Scholar
  6. Tur95.
    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–13Google Scholar
  7. WK19.
    Wadler P, Kokke W (2019) Programming Language Foundations in Agda. Available at

Copyright information

© British Computer Society 2019

Authors and Affiliations

  1. 1.School of Mathematical and Computer SciencesHeriot Watt UniversityEdinburghUK

Personalised recommendations