Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Premonoidal categories as categories with algebraic structure
Theoretical Computer Science
Logical Predicates for Intuitionistic Linear Type Theories
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Categorical logic of names and abstraction in action calculi
Mathematical Structures in Computer Science
Categorical logic of names and abstraction in action calculi
Mathematical Structures in Computer Science
Premonoidal categories and notions of computation
Mathematical Structures in Computer Science
Symmetric Monoidal Sketches and Categories of Wirings
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.01 |