共 50 条
- [34] INTENSIONAL EQUALITY IN CATEGORIES WITH STRUCTURE AND COHERENCE PROBLEMS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1988, 34 (05): : 421 - 432
- [37] PROPS FOR INVOLUTIVE MONOIDS AND INVOLUTIVE BIMONOIDS THEORY AND APPLICATIONS OF CATEGORIES, 2020, 35 : 1564 - 1575
- [38] Coherence for Cartesian closed categories: A sequential approach CONDITIONAL AND TYPED REWRITING SYSTEMS, 1995, 968 : 276 - 295