Inductive, coinductive, and pointed types
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Restriction categories I: categories of partial maps
Theoretical Computer Science
Lifting results for categories of algebras
Theoretical Computer Science
Combining a monad and a comonad
Theoretical Computer Science
Restriction categories II: partial map classification
Theoretical Computer Science - Category theory and computer science
Monad compositions ii: Kleisli strength
Mathematical Structures in Computer Science
Categories of Timed Stochastic Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Combining datatypes and effects
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
A coalgebraic perspective on minimization and determinization
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Formal Relationships Between Geometrical and Classical Models for Concurrency
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |