Back to Results
First PageMeta Content
Computer 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 2018
Add to Reading List

Document Date: 2018-08-15 07:19:21

Open Document

File Size: 536,88 KB

Share Result on Facebook