Concepedia

Claudio Hermida

CH

15

Publications

726

Citations

14

H-Index

1993

Active since

Affiliations

McGill University(Current)

University of Edinburgh

Queen's University

Claudio Hermida is an author at McGill University specializing in automated reasoning, linguistics, and language studies.

ORCID

Top concepts

Publications per year

1993–2014

15

Publications

15

Structural Induction and Coinduction in a Fibrational Setting

Claudio Hermida, Bart Jacobs · Information and Computation · 1998 · 190 citations

, , +1

Representable Multicategories

Claudio Hermida · Advances in Mathematics · 2000 · 101 citations

Fibrations, Logical Predicates and Indeterminates

Claudio Hermida · DAIMI Report Series · 1993 · 76 citations · Full text

, , +12

Some properties of Fib as a fibred 2-category

Claudio Hermida · Journal of Pure and Applied Algebra · 1999 · 67 citations

, ,

On weak higher dimensional categories I: Part 1

Claudio Hermida, Michael Makkai, John Power · Journal of Pure and Applied Algebra · 2000 · 61 citations

, ,

Rows per page

1–5 of 15