Recursion and corecursion have the same equational logic
Theoretical Computer Science - Category theory and computer science
On the equational definition of the least prefixed point
Theoretical Computer Science - Mathematical foundations of computer science
Regular and algebraic words and ordinals
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
A Connection Between Concurrency and Language Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |