Follow
Claudio Hermida
Claudio Hermida
University of Birmingham, Computer Science
Verified email at cs.bham.ac.uk
Title
Cited by
Cited by
Year
Structural induction and coinduction in a fibrational setting
C Hermida, B Jacobs
Information and computation 145 (2), 107-152, 1998
2601998
Representable multicategories
C Hermida
Advances in Mathematics 151 (2), 164-225, 2000
1732000
Fibrations, logical predicates and indeterminates
CA Hermida
KB thesis scanning project 2015, 1993
1151993
Some properties of Fib as a fibred 2-category
C Hermida
Journal of Pure and Applied Algebra 134 (1), 83-109, 1999
931999
On weak higher dimensional categories I: Part 1
C Hermida, M Makkai, J Power
Journal of pure and applied algebra 154 (1-3), 221-246, 2000
91*2000
From coherent structures to universal properties
C Hermida
Journal of Pure and Applied Algebra 165 (1), 7-61, 2001
462001
Logical Relations and Parametricity-A Reynolds Programme for Category Theory and Programming Languages
C Hermida, US Reddy, EP Robinson
432014
Recursively defined metric spaces without contraction
F van Breugel, C Hermida, M Makkai, J Worrell
Theoretical Computer Science 380 (1-2), 143-163, 2007
412007
Higher dimensional multigraphs
C Hermida, M Makkai, J Power
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998
251998
An Accessible Approach to Behavioural Pseudometrics.
F van Breugel, C Hermida, M Makkai, J Worrell
ICALP, 1018-1030, 2005
242005
An algebraic view of structural induction
C Hermida, B Jacobs
Computer Science Logic: 8th Workshop, CSL'94 Kazimierz, Poland, September 25 …, 2005
242005
Fibrations for abstract multicategories
C Hermida
Galois theory, Hopf algebras, and semiabelian categories 43, 281-293, 2002
212002
A categorical outlook on relational modalities and simulations
C Hermida
Information and Computation 209 (12), 1505-1517, 2011
202011
Descent on 2-fibrations and strongly 2-regular 2-categories
C Hermida
Applied Categorical Structures 12, 427-459, 2004
202004
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
201995
On fibred adjunctions and completeness for fibred categories
C Hermida
Recent Trends in Data Type Specification: 9th Workshop on Specification of …, 2005
182005
Fibrations, logical predicates and related topics
C Hermida
PhD thesis, University of Edinburgh, 1993. Tech. Report ECS-LFCS-93-277 …, 1993
181993
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
121995
Fibrational control structures
C Hermida, J Power
CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995
121995
On weak higher dimensional categories, 1997
C Hermida, M Makkai, J Power
Preprint, 0
12
The system can't perform the operation now. Try again later.
Articles 1–20