Additions and corrections to ``Terminal coalgebras in well-founded set theory''
type: Item
instance of: scholarly article
title: Additions and corrections to ``Terminal coalgebras in well-founded set theory''
zbMATH Open document ID: 0788.18001
DOI: 10.1016/0304-3975(94)90060-4
author: Michael Barr
published in: Theoretical Computer Science
publication date: 1994-04-05T00:00:00Z
Mathematics Subject Classification ID: 18B05
Mathematics Subject Classification ID: 18A15
zbMATH DE Number: 540878
zbMATH Keywords: terminal coalgebra for endofunctor
zbMATH Keywords: initial algebra for endofunctor
zbMATH Keywords: well-founded set theory
MaRDI profile type: Publication
full work available at URL: 0304-3975(94)90060-4
OpenAlex ID: W1984857600
cites work: A final coalgebra theorem
cites work: Terminal coalgebras in well-founded set theory
description: scientific article; zbMATH DE number 540878