An introduction to the theory of lists
Proceedings of the NATO Advanced Study Institute on Logic of programming and calculi of discrete design
Abstract and concrete categories
Abstract and concrete categories
Notions of computation and monads
Information and Computation
Algebra of programming
Implementing collection classes with monads
Mathematical Structures in Computer Science
Boolean restriction categories and taut monads
Theoretical Computer Science
Taut Monads, Dynamic Logic and Determinism
Electronic Notes in Theoretical Computer Science (ENTCS)
Boolean and classical restriction categories
Mathematical Structures in Computer Science
Hi-index | 5.23 |