| Publication | Date of Publication | Type |
|---|
Bisimulation as a logical relation
Mathematical Structures in Computer Science | 2022-12-20 | Paper |
Deriving logical relations from interpretations of predicate logic
| 2022-04-29 | Paper |
Monoidal indeterminates and categories of possible worlds
Electronic Notes in Theoretical Computer Science | 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
Theoretical Computer Science | 2014-01-10 | Paper |
Monoidal indeterminates and categories of possible worlds
Theoretical Computer Science | 2012-05-30 | Paper |
A categorical outlook on relational modalities and simulations
Information and Computation | 2012-03-13 | Paper |
scientific article; zbMATH DE number 5960296 (Why is no real title available?)
| 2011-10-19 | Paper |
Recursively defined metric spaces without contraction
Theoretical Computer Science | 2007-07-16 | Paper |
A fibrational framework for possible-world semantics of \textsc{Algol}-like languages
Theoretical Computer Science | 2007-05-11 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Descent on 2-fibrations and strongly 2-regular 2-categories
Applied Categorical Structures | 2005-04-07 | Paper |
scientific article; zbMATH DE number 2152035 (Why is no real title available?)
| 2005-04-04 | Paper |
Paracategories. I: Internal paracategories and saturated partial algebras
Theoretical Computer Science | 2004-10-27 | Paper |
Paracategories. II: Adjunctions, fibrations and examples from probabilistic automata theory
Theoretical Computer Science | 2004-10-27 | Paper |
scientific article; zbMATH DE number 2079043 (Why is no real title available?)
| 2004-07-21 | Paper |
On weak higher-dimensional categories. I: Part 3
Journal of Pure and Applied Algebra | 2002-09-06 | Paper |
From coherent structures to universal properties
Journal of Pure and Applied Algebra | 2002-08-24 | Paper |
On weak higher-dimensional categories. I. 2
Journal of Pure and Applied Algebra | 2002-05-22 | Paper |
On weak higher dimensional categories. I: Part 1
Journal of Pure and Applied Algebra | 2001-10-28 | Paper |
Structural induction and coinduction in a fibrational setting
Information and Computation | 2000-07-31 | Paper |
Representable multicategories
Advances in Mathematics | 2000-07-09 | Paper |
Some properties of Fib as a fibred \(2\)-category
Journal of Pure and Applied Algebra | 2000-05-09 | Paper |
scientific article; zbMATH DE number 1418815 (Why is no real title available?)
| 2000-03-30 | Paper |
scientific article; zbMATH DE number 1392303 (Why is no real title available?)
| 2000-01-25 | Paper |
Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
Mathematical Structures in Computer Science | 1996-08-27 | Paper |
