Induction and recursion on datatypes

H. Doornbos, R.C. Backhouse

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
Original languageEnglish
Title of host publicationMathematics of Program Construction (Proceedings 3rd International Conference, MPC'95, Kloster Irsee, Germany, July 17-21, 1995)
EditorsB. Möller
Place of PublicationBerlin
PublisherSpringer
Pages242-256
ISBN (Print)3-540-60117-1
DOIs
Publication statusPublished - 1995

Publication series

NameLecture Notes in Computer Science
Volume947
ISSN (Print)0302-9743

Cite this