Computer Software
Print ISSN : 0289-6540
Basics of Software Science 2: Induction and Recursion—A First Step to Denotational Semantics
Yoshiki KINOSHITA
Author information
JOURNAL FREE ACCESS

2012 Volume 29 Issue 1 Pages 1_30-1_46

Details
Download PDF (203K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Abstract
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.
Content from these authors
© Japan Society for Software Science and Technology 2012
Previous article Next article
Favorites & Alerts

Recently viewed articles
Share this page
feedback
 Top