Result 1 to 11 from 11 total
Pseudo-commutativity of KZ 2-monads. (English)
Adv. Math. 228, No. 5, 2557-2605 (2011).
1
Monad transformers as monoid transformers. (English)
Theor. Comput. Sci. 411, No. 51-52, 4441-4466 (2010).
2
Pseudo-distributive laws and axiomatics for variable binding. (English)
High.-Order Symb. Comput. 19, No. 2-3, 305-337 (2006).
3
A unified category-theoretic semantics for binding signatures in substructural logics. (English)
J. Log. Comput. 16, No. 1, 5-25 (2006).
4
Limits for lax morphisms. (English)
Appl. Categ. Struct. 13, No. 3, 189-203 (2005).
5
Infinite trees and completely iterative theories: A coalgebraic view. (English)
Theor. Comput. Sci. 300, No.1-3, 1-45 (2003).
6
A note on actions of a monoidal category. (English)
Theory Appl. Categ. 9, 61-91, electronic only (2001).
7
Categorical logic of names and abstraction in action calculi. (English)
Math. Struct. Comput. Sci. 7, No.6, 619-637 (1997).
8
On clubs and data-type constructors. (English)
Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 163-190 (1992).
9
Tenseurs et machines. (French)
Cah. Topol. Géom. Différ. 21, 5-62 (1980).
10
Symmetric monoidal comonads and differential algebra. (English)
Commun. Algebra 7, 139-162 (1979).
11
Result 1 to 11 from 11 total
Start
Contact
Print
General Help
