Date: 2016-12-12 09:14:24

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 12 December 2016

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 537,54 KB