Information Flow, the logic of distributed systems. Number 44 in Cambridge Tracts in Theoretical Computer Science, 1997. ,
A presentation of the curry-howard correspondance, 1997. ,
Intuitionistic necessity revisited, 1996. ,
On an intuitionistic modal logic, Studia Logica, vol.65, issue.3, pp.383-416, 2000. ,
DOI : 10.1023/A:1005291931660
Lattice Theory, 1967. ,
DOI : 10.1090/coll/025
Lattice approach to classifications In European summer school logic, language and information, Birmimgham (UK), pp.34-44, 2000. ,
Modal Logic, an Introduction, 1980. ,
DOI : 10.1017/cbo9780511621192
Order-theoretic, geometric and combinatorial models of intuitionnistic s4 proofs, Intuitionistic Modal Logics and Applications (IMLA'99), 1999. ,
On computational interpretations of the modal logic s4 i-iii, 1996. ,
Intuitionism: An Introduction, 1956. ,
On a modal ?-calculus for s4, 11th Conference on Mathematical Foundations of Programming Semantics (MFPS'95), 1995. ,
Axiomatizations for some intuitionistic modal logics, Rend. Sem. Mat. Univers. Politecn. Torino, vol.42, pp.179-194, 1984. ,
The Proof Theory and Semantics of Intuitionistic Modal Logics, 1993. ,