References
Bundy A, Grosse G, Brna P (1991) A recursive techniques editor for Prolog. Instr Sci 20(2–3):135–172
Brady E (2017) Type driven development with Idris. Manning, New York
Burstall RM (1987) Inductively defined functions in functional programming languages. J Comput Syst Sci 34:409–421
Nordström B, Petersson K, Smith J (1990) Programming in Martin-Löfs type theory: an introduction. OUP, Oxford
Péter R (1967) Recursive functions. Academic Press, New York
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
Wadler P, Kokke W (2019) Programming Language Foundations in Agda. Available at http://plfa.inf.ed.ac.uk/
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Michaelson, G. Bernhard Steffen, Oliver R¨uthing, and Michael Huth: Mathematical Foundations of Advanced Informatics—Volume 1: Inductive Approaches. Form Asp Comp 31, 641–642 (2019). https://doi.org/10.1007/s00165-019-00496-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-019-00496-x