Higher-level Sequent-systems for Intuitionistic Modal Logic
Modal Translations of Heyting and Peano Arithmetic
An Introduction to Adjunction
Negative Modal Operators in Intuitionistic Logic
Relevant Categories and Partial Functions
The Geometry of Self-adjunction
The maximality of the typed lambda calculus and of cartesian closed categories
Bicartesian coherence revisited
Coherence of Proof-net Categories
Intuitionistic double negation as a necessity operator.
Minimal modal systems in which Heyting and classical logic can be embedded.
Deductive systems and categories.
Negative modal operators in intuitionistic logic.
Page 1