| Publication | Date of Publication | Type |
|---|
Algebraic types in PER models
Lecture Notes in Computer Science | 2023-04-12 | Paper |
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 |
| Logical relations and parametricity -- a Reynolds programme for category theory and programming languages | 2016-05-06 | Paper |
A proof-theoretic analysis of the classical propositional matrix method
Journal Of Logic And Computation | 2014-04-01 | Paper |
Bunched polymorphism
Mathematical Structures in Computer Science | 2008-12-10 | Paper |
Categorical proof theory of classical propositional calculus
Theoretical Computer Science | 2007-01-09 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Proof Nets for Classical Logic
Journal Of Logic And Computation | 2004-01-28 | Paper |
| scientific article; zbMATH DE number 1841819 (Why is no real title available?) | 2002-12-04 | Paper |
Variations on algebra: Monadicity and generalisations of equational theories
Formal Aspects of Computing | 2002-09-25 | Paper |
| scientific article; zbMATH DE number 1670499 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1330454 (Why is no real title available?) | 1999-09-21 | Paper |
Premonoidal categories and notions of computation
Mathematical Structures in Computer Science | 1998-10-01 | Paper |
Parametricity as isomorphism
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 431763 (Why is no real title available?) | 1993-11-18 | Paper |
A characterization of pie limits
Mathematical Proceedings of the Cambridge Philosophical Society | 1992-06-25 | Paper |
The Discrete Objects in the Effective Topos
Proceedings of the London Mathematical Society | 1990-01-01 | Paper |
Colimit completions and the effective topos
Journal of Symbolic Logic | 1990-01-01 | Paper |
A note on inequivalence of realizability toposes
Mathematical Proceedings of the Cambridge Philosophical Society | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4181330 (Why is no real title available?) | 1989-01-01 | Paper |
Categories of partial maps
Information and Computation | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4045109 (Why is no real title available?) | 1987-01-01 | Paper |
The geometric theory of \(p\)-adic fields
Journal of Algebra | 1987-01-01 | Paper |
The p-adic spectrum
Journal of Pure and Applied Algebra | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3841856 (Why is no real title available?) | 1983-01-01 | Paper |
Categorical Proof-Theoretic Semantics
(available as arXiv preprint) | N/A | Paper |
