Claudio Hermida

According to our database, Claudio Hermida authored at least 19 papers between 1992 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Bisimulation as a logical relation.

Claudio Hermida, Uday S. Reddy, Edmund Robinson, Alessio Santamaria

Math. Struct. Comput. Sci., April, 2022

2019

Deriving Logical Relations from Interpretations of Predicate Logic.

Claudio Hermida, Uday S. Reddy, Edmund P. Robinson

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

2013

Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163].

Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell

Theor. Comput. Sci., 2013

Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages.

Claudio Hermida, Uday S. Reddy, Edmund P. Robinson

Proceedings of the Workshop on Algebra, Coalgebra and Topology, 2013

2012

Monoidal indeterminates and categories of possible worlds.

Claudio Hermida, Robert D. Tennent

Theor. Comput. Sci., 2012

2011

A categorical outlook on relational modalities and simulations.

Claudio Hermida

Inf. Comput., 2011

2007

A fibrational framework for possible-world semantics of Algol-like languages.

Claudio Hermida, Robert D. Tennent

Theor. Comput. Sci., 2007

Recursively defined metric spaces without contraction.

Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell

Theor. Comput. Sci., 2007

2005

An Accessible Approach to Behavioural Pseudometrics.

Franck van Breugel, Claudio Hermida, Michael Makkai, James Worrell

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004

Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory.

Claudio Hermida, Paulo Mateus

Theor. Comput. Sci., 2004

Descent on 2-Fibrations and Strongly 2-Regular 2-Categories.

Claudio Hermida

Appl. Categorical Struct., 2004

2003

Paracategories I: internal paracategories and saturated partial algebras.

Claudio Hermida, Paulo Mateus

Theor. Comput. Sci., 2003

1998

Structural Induction and Coinduction in a Fibrational Setting.

Claudio Hermida, Bart Jacobs

Inf. Comput., 1998

Higher Dimensional Multigraphs.

Claudio Hermida, Michael Makkai, John Power

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

1995

Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi.

Claudio Hermida, Bart Jacobs

Math. Struct. Comput. Sci., 1995

Fibrational Control Structures.

Claudio Hermida, John Power

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1994

An Algebraic View of Structural Induction.

Claudio Hermida, Bart Jacobs

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993

Fibrations, logical predicates and indeterminates.

Claudio Hermida

PhD thesis, 1993

1992

On Fibred Adjunctions and Completeness for Fibred Categories.

Claudio Hermida

Proceedings of the Recent Trends in Data Type Specification, 1992