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 - HOL - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Add to Reading List Document Date: 2016-12-12 09:14:24 Open Document File Size: 537,54 KB Share Result on Facebook

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 2016Add to Reading List