Paper Info
Title
Coinductive Properties of Causal Maps
Abstract
Variants of causal functions on streams are defined, and the interplay between them is studied from different perspectives with attention to coalgebraic considerations. We prove that the sets of causal and bicausal functions, respectively, are closed under a certain natural coinductive construction. This closure property paves the way to constructing new final stream coalgebras over finite alphabets. This result is used to show that the 2-adic version of the Collatz function yields a final bit-stream coalgebra.
Year
DOI
Venue
2008
10.1007/978-3-540-79980-1_20
Algebraic Methodology and Software Technology
Keywords
Field
DocType
causal maps,causal function,bicausal function,collatz function yield,closure property,coinductive properties,2-adic version,finite alphabet,new final stream coalgebras,final bit-stream coalgebra,different perspective,certain natural coinductive construction
Closure (mathematics),Computer science,Coalgebra,Theoretical computer science,Coinduction,Collatz conjecture
Conference
Volume
ISSN
Citations 
5140
0302-9743
4
PageRank 
References 
Authors
0.53
4
1
Name
Order
Citations
PageRank
Jiho Kim15715.00