Claudio Hermida

ORCID

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 3

Top Venues

CoRR

Math. Struct. Comput. Sci.

Electron. Notes Theor. Comput. Sci.

MFPS

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria
Bisimulation as a logical relation. Math. Struct. Comput. Sci. 32 (4) (2022)
Claudio Hermida, Uday S. Reddy, Edmund P. Robinson, Alessio Santamaria
Bisimulation as a Logical Relation. CoRR (2020)
Claudio Hermida, Uday S. Reddy, Edmund P. Robinson
Deriving Logical Relations from Interpretations of Predicate Logic. MFPS (2019)
Claudio Hermida, Uday S. Reddy, Edmund P. Robinson
Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages. Electron. Notes Theor. Comput. Sci. 303 (2014)
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163]. Theor. Comput. Sci. 492 (2013)
Claudio Hermida, Robert D. Tennent
Monoidal indeterminates and categories of possible worlds. Theor. Comput. Sci. 430 (2012)
Claudio Hermida
A categorical outlook on relational modalities and simulations. Inf. Comput. 209 (12) (2011)
Claudio Hermida, Robert D. Tennent
Monoidal Indeterminates and Categories of Possible Worlds. MFPS (2009)
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
Recursively defined metric spaces without contraction. Theor. Comput. Sci. 380 (1-2) (2007)
Claudio Hermida, Robert D. Tennent
A fibrational framework for possible-world semantics of Algol-like languages. Theor. Comput. Sci. 375 (1-3) (2007)
Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell
An Accessible Approach to Behavioural Pseudometrics. ICALP (2005)
Claudio Hermida
Descent on 2-Fibrations and Strongly 2-Regular 2-Categories. Appl. Categorical Struct. 12 (5-6) (2004)
Claudio Hermida, Paulo Mateus
Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory. Theor. Comput. Sci. 311 (1-3) (2004)
Claudio Hermida, Paulo Mateus
Paracategories I: internal paracategories and saturated partial algebras. Theor. Comput. Sci. 309 (1-3) (2003)
Claudio Hermida, Bart Jacobs
Structural Induction and Coinduction in a Fibrational Setting. Inf. Comput. 145 (2) (1998)
Claudio Hermida, Michael Makkai, John Power
Higher Dimensional Multigraphs. LICS (1998)
Claudio Hermida, Bart Jacobs
Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. Math. Struct. Comput. Sci. 5 (4) (1995)
Claudio Hermida, John Power
Fibrational Control Structures. CONCUR (1995)
Claudio Hermida, Bart Jacobs
An Algebraic View of Structural Induction. CSL (1994)
Claudio Hermida
On Fibred Adjunctions and Completeness for Fibred Categories. COMPASS/ADT (1992)

Claudio Hermida.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Claudio Hermida