Baidu
map

Well-founded coalgebras, revisited

Jeannin, JB; Kozen, D; Silva, A

Kozen, D (reprint author), Cornell Univ, Comp Sci, New York, NY 14853 USA.

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2017; 27 (7): 1111

Abstract

Theoretical models of recursion schemes have been well studied under the names well-founded coalgebras, recursive coalgebras, corecursive algebras and......

Full Text Link


Baidu
map
Baidu
map
Baidu
map