Preview
Unable to display preview. Download preview PDF.
References
Bird, R.S., Constructive functional programming, Working material for the international summer school on constructive methods in computing science, Marktoberdorf, 1988.
Eijnde, J.P.H.W. van den, Left bottom and right top segments, preprint.
Morris, J.M., Private communication.
Zantema, H., Private communication.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van der Woude, J. (1989). Rabbitcounrt :=Rabbitcount — 1. In: van de Snepscheut, J.L.A. (eds) Mathematics of Program Construction. MPC 1989. Lecture Notes in Computer Science, vol 375. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51305-1_25
Download citation
DOI: https://doi.org/10.1007/3-540-51305-1_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51305-6
Online ISBN: 978-3-540-46191-3
eBook Packages: Springer Book Archive