Claudio Hermida

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