| Structural induction and coinduction in a fibrational setting C Hermida, B Jacobs Information and computation 145 (2), 107-152, 1998 | 267 | 1998 |
| Representable multicategories C Hermida Advances in Mathematics 151 (2), 164-225, 2000 | 203 | 2000 |
| Fibrations, logical predicates and indeterminates CA Hermida KB thesis scanning project 2015, 1993 | 120 | 1993 |
| Some properties of Fib as a fibred 2-category C Hermida Journal of Pure and Applied Algebra 134 (1), 83-109, 1999 | 106 | 1999 |
| On weak higher-dimensional categories I—3 C Hermida, M Makkai, J Power Journal of Pure and Applied Algebra 166 (1-2), 83-104, 2002 | 98* | 2002 |
| Logical Relations and Parametricity-A Reynolds Programme for Category Theory and Programming Languages C Hermida, US Reddy, EP Robinson | 52 | 2014 |
| From coherent structures to universal properties C Hermida Journal of Pure and Applied Algebra 165 (1), 7-61, 2001 | 47 | 2001 |
| Recursively defined metric spaces without contraction F van Breugel, C Hermida, M Makkai, J Worrell Theoretical Computer Science 380 (1-2), 143-163, 2007 | 45 | 2007 |
| Higher dimensional multigraphs C Hermida, M Makkai, J Power Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998 | 28 | 1998 |
| An accessible approach to behavioural pseudometrics: With an application to probabilistic systems F van Breugel, C Hermida, M Makkai, J Worrell Automata, Languages and Programming: 32nd International Colloquium, ICALP …, 2005 | 27 | 2005 |
| An algebraic view of structural induction C Hermida, B Jacobs International Workshop on Computer Science Logic, 412-426, 1994 | 26 | 1994 |
| Fibrations for abstract multicategories C Hermida Galois theory, Hopf algebras, and semiabelian categories 43, 281-293, 2002 | 25 | 2002 |
| Descent on 2-fibrations and strongly 2-regular 2-categories C Hermida Applied Categorical Structures 12, 427-459, 2004 | 21 | 2004 |
| Monoidal indeterminates and categories of possible worlds C Hermida, RD Tennent Theoretical Computer Science 430, 3-22, 2012 | 20 | 2012 |
| A categorical outlook on relational modalities and simulations C Hermida Information and Computation 209 (12), 1505-1517, 2011 | 20 | 2011 |
| On fibred adjunctions and completeness for fibred categories C Hermida Workshop on the Specification of Abstract Data Types, 235-251, 1992 | 20 | 1992 |
| Fibrations with indeterminates: Contextual and functional completeness for polymorphic lambda calculi C Hermida, B Jacobs Mathematical Structures in Computer Science 5 (4), 501-531, 1995 | 18 | 1995 |
| Fibrations, logical predicates and related topics C Hermida PhD thesis, University of Edinburgh, 1993. Tech. Report ECS-LFCS-93-277 …, 1993 | 16 | 1993 |
| Induction and coinduction via subset types and quotient types C Hermida, B Jacobs Informal proceedings of the Joint CLICS-TYPES Workshop on Categories and …, 1995 | 13 | 1995 |
| Fibrational control structures C Hermida, J Power International Conference on Concurrency Theory, 117-129, 1995 | 12 | 1995 |
Bart JacobsProfessor of Software Security and Correctness, Radboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
