Deep Induction: Induction Rules for (Truly) Nested Types
Work
Year: 2020
Type: book-chapter
Abstract: This paper introduces deep induction , and shows that it is the notion of induction most appropriate to nested types and other data types defined over, or mutually recursively with, (other) such type... more
Authors Patricia Johann, Andrew Polonsky
Institution Appalachian State University
Cites: 15
Cited by: 8
Related to: 10
FWCI: 1.568
Citation percentile (by year/subfield): 84.09
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: hybrid
APC paid (est): $5,392