![Computer programming / Software engineering / Computing / Recursion / Type theory / Data types / Theoretical computer science / Functional programming / Recursive data type / Inductive data type / Corecursion / Mutual recursion Computer programming / Software engineering / Computing / Recursion / Type theory / Data types / Theoretical computer science / Functional programming / Recursive data type / Inductive data type / Corecursion / Mutual recursion](https://www.pdfsearch.io/img/9d3c4b0161ed4e4e557dfb297a0c50f6.jpg) Date: 2018-08-15 07:19:21Computer programming Software engineering Computing Recursion Type theory Data types Theoretical computer science Functional programming Recursive data type Inductive data type Corecursion Mutual recursion | | Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 15 August 2018Add to Reading ListSource URL: www.cl.cam.ac.ukDownload Document from Source Website File Size: 536,88 KBShare Document on Facebook
|