Claudio Hermida

According to our database1, Claudio Hermida authored at least 17 papers between 1992 and 2014.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

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) 143-163].
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 possible-world semantics of Algol-like 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 2-Fibrations and Strongly 2-Regular 2-Categories.
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


  Loading...