Premonoidal categories as categories with algebraic structure
Theoretical Computer Science
Relaxed models for rewriting logic
Theoretical Computer Science
A unified category-theoretic formulation of typed binding signatures
Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Combining effects: sum and tensor
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Discrete Lawvere theories and computational effects
Theoretical Computer Science - Algebra and coalgebra in computer science
Category Theoretic Semantics for Typed Binding Signatures with Recursion
Fundamenta Informaticae - Logic for Pragmatics
Gabriel–ulmer duality and lawvere theories enriched over a general base
Journal of Functional Programming
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Category Theoretic Semantics for Typed Binding Signatures with Recursion
Fundamenta Informaticae - Logic for Pragmatics
Hi-index | 0.00 |