The mathematical structure for inductive definition of sets and recursive definition of functions is presented through dialogue of Kuka and Racha. Only basic mathematical literacy is assumed. © 2012, Japan Society for Software Science and Technology. All rights reserved.
CITATION STYLE
Kinoshita, Y. (2012). Basics of Software Science 2: Induction and Recursion-A First Step to Denotational Semantics. Computer Software, 29(1), 30–46. https://doi.org/10.11309/jssst.29.1_30
Mendeley helps you to discover research relevant for your work.