Claudio Hermida

Available identifiers

zbMath Open hermida.claudioMaRDI QIDQ175557

List of research outcomes

Publication	Date of Publication	Type
Bisimulation as a logical relation	2022-12-20	Paper
Deriving logical relations from interpretations of predicate logic	2022-04-29	Paper
Monoidal Indeterminates and Categories of Possible Worlds	2016-05-10	Paper
Logical relations and parametricity -- a Reynolds programme for category theory and programming languages	2016-05-06	Paper
Addendum to ``Recursively defined metric spaces without contraction	2014-01-10	Paper
Monoidal indeterminates and categories of possible worlds	2012-05-30	Paper
A categorical outlook on relational modalities and simulations	2012-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q3093857	2011-10-19	Paper
Recursively defined metric spaces without contraction	2007-07-16	Paper
A fibrational framework for possible-world semantics of \textsc{Algol}-like languages	2007-05-11	Paper
Automata, Languages and Programming	2006-01-10	Paper
Descent on 2-fibrations and strongly 2-regular 2-categories	2005-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q4663634	2005-04-04	Paper
Paracategories. I: Internal paracategories and saturated partial algebras	2004-10-27	Paper
Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory	2004-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q4474856	2004-07-21	Paper
On weak higher-dimensional categories. I: Part 3	2002-09-06	Paper
From coherent structures to universal properties	2002-08-24	Paper
On weak higher-dimensional categories. I. 2	2002-05-22	Paper
On weak higher dimensional categories. I: Part 1	2001-10-28	Paper
Structural induction and coinduction in a fibrational setting	2000-07-31	Paper
Representable multicategories	2000-07-09	Paper
Some properties of Fib as a fibred \(2\)-category	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4942097	2000-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4936142	2000-01-25	Paper
Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi	1996-08-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Claudio Hermida