| 2007 |
|---|
| 12 | EE | Claudio Hermida,
Robert D. Tennent:
A fibrational framework for possible-world semantics of Algol-like languages.
Theor. Comput. Sci. 375(1-3): 3-19 (2007) |
| 11 | EE | Franck van Breugel,
Claudio Hermida,
Michael Makkai,
James Worrell:
Recursively defined metric spaces without contraction.
Theor. Comput. Sci. 380(1-2): 143-163 (2007) |
| 2005 |
|---|
| 10 | EE | Franck van Breugel,
Claudio Hermida,
Michael Makkai,
James Worrell:
An Accessible Approach to Behavioural Pseudometrics.
ICALP 2005: 1018-1030 |
| 2004 |
|---|
| 9 | EE | Claudio Hermida:
Descent on 2-Fibrations and Strongly 2-Regular 2-Categories.
Applied Categorical Structures 12(5-6): 427-459 (2004) |
| 8 | EE | Claudio Hermida,
Paulo Mateus:
Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory.
Theor. Comput. Sci. 311(1-3): 71-103 (2004) |
| 2003 |
|---|
| 7 | EE | Claudio Hermida,
Paulo Mateus:
Paracategories I: internal paracategories and saturated partial algebras.
Theor. Comput. Sci. 309(1-3): 125-156 (2003) |
| 1998 |
|---|
| 6 | | Claudio Hermida,
Michael Makkai,
John Power:
Higher Dimensional Multigraphs.
LICS 1998: 199-206 |
| 5 | | Claudio Hermida,
Bart Jacobs:
Structural Induction and Coinduction in a Fibrational Setting.
Inf. Comput. 145(2): 107-152 (1998) |
| 1995 |
|---|
| 4 | | Claudio Hermida,
John Power:
Fibrational Control Structures.
CONCUR 1995: 117-129 |
| 3 | | Claudio Hermida,
Bart Jacobs:
Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi.
Mathematical Structures in Computer Science 5(4): 501-531 (1995) |
| 1994 |
|---|
| 2 | | Claudio Hermida,
Bart Jacobs:
An Algebraic View of Structural Induction.
CSL 1994: 412-426 |
| 1992 |
|---|
| 1 | | Claudio Hermida:
On Fibred Adjunctions and Completeness for Fibred Categories.
COMPASS/ADT 1992: 235-251 |
