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: isabelle.in.tum.deDownload Document from Source Website File Size: 536,88 KBShare Document on Facebook
|