Defining Nonprimitively (Co)recursive Functions in Isabelle HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018 - .ac - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-08-15 07:19:22 Computer programming Declarative programming Software engineering Theoretical computer science Category theory Functional programming Recursion Type theory Corecursion Coinduction Fold SCons		Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 15 August 2018 Add to Reading List Source URL: www.cl.cam.ac.uk Download Document from Source Website File Size: 368,87 KB Share Document on Facebook

	Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia DocID: 1sZ2e - View Document
	Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia DocID: 1sYXB - View Document
	page.1 Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch DocID: 1sSfm - View Document
	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy DocID: 1qHip - View Document
	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu DocID: 1qD8k - View Document