Generalised Coinduction

Generalised Coinduction (2001)

by Falk Bartels

Citations:

15 - 3 self

User correction supplied by mph

Datum	Value	Source
TITLE	Generalised Coinduction	user correction - Legacy Corrections
AUTHOR NAME	Falk Bartels	user correction
AUTHOR AFFIL	CWI	user correction
AUTHOR ADDR	P.O. Box 94079, 1090 GB Amsterdam, The Netherlands	user correction
ABSTRACT	We introduce the lambda-coiteration schema for a distributive law lambda of a functor T over a functor F. Under certain conditions it can be shown to uniquely characterise functions into the carrier of a final F-coalgebra, generalising the basic coiteration schema as given by finality. The duals of primitive recursion and course-of-value iteration, which are known extensions of coiteration, arise as instances of our framework. One can furthermore obtain schemata justifying recursive specifications that involve operators such as addition of power series, regular operators on languages, or parallel and sequential composition of processes. Next...	user correction - Legacy Corrections
YEAR	2001	user correction - Legacy Corrections
CITATIONS	17 found	ParsCit 1.0