Annals of Pure and Applied LogicVolume 42, Issue 3, 15 May 1989, Pages 255-297Monotone inductive definitions in a constructive theory of functions and classesAuthor links open overlay panelShuzo TakahashiShow moreShareCitehttps://doi.org/10.1016/0168-0072(89)90019-5Get rights and contentUnder an Elsevier user licenseopen archivePrevious article in issueNext article in issueRecommended articlesCited by (0)Copyright © 1989 Published by Elsevier B.V.