Claudio Hermida
According to our database^{1},
Claudio Hermida
authored at least 17 papers
between 1992 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at andrej.com
On csauthors.net:
Bibliography
2014
Logical Relations and Parametricity  A Reynolds Programme for Category Theory and Programming Languages.
Electr. Notes Theor. Comput. Sci., 2014
2013
Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143163].
Theor. Comput. Sci., 2013
2012
Monoidal indeterminates and categories of possible worlds.
Theor. Comput. Sci., 2012
2011
A categorical outlook on relational modalities and simulations.
Inf. Comput., 2011
2009
Monoidal Indeterminates and Categories of Possible Worlds.
Electr. Notes Theor. Comput. Sci., 2009
2007
A fibrational framework for possibleworld semantics of Algollike languages.
Theor. Comput. Sci., 2007
Recursively defined metric spaces without contraction.
Theor. Comput. Sci., 2007
2005
An Accessible Approach to Behavioural Pseudometrics.
Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005
2004
Paracategories II: adjunctions, fibrations and examples from probabilistic automata theory.
Theor. Comput. Sci., 2004
Descent on 2Fibrations and Strongly 2Regular 2Categories.
Applied Categorical Structures, 2004
2003
Paracategories I: internal paracategories and saturated partial algebras.
Theor. Comput. Sci., 2003
1998
Structural Induction and Coinduction in a Fibrational Setting.
Inf. Comput., 1998
Higher Dimensional Multigraphs.
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.
Mathematical Structures in Computer Science, 1995
Fibrational Control Structures.
Proceedings of the CONCUR '95: Concurrency Theory, 1995
1994
An Algebraic View of Structural Induction.
Proceedings of the Computer Science Logic, 8th International Workshop, 1994
1992
On Fibred Adjunctions and Completeness for Fibred Categories.
Proceedings of the Recent Trends in Data Type Specification, 1992