J. Barwise and J. Seligman, Information Flow, the logic of distributed systems. Number 44 in Cambridge Tracts in Theoretical Computer Science, 1997.

C. Berline, A presentation of the curry-howard correspondance, 1997.

G. M. Bierman and V. De-paiva, Intuitionistic necessity revisited, 1996.

G. M. Bierman and V. De-paiva, On an intuitionistic modal logic, Studia Logica, vol.65, issue.3, pp.383-416, 2000.
DOI : 10.1023/A:1005291931660

G. Birkhoff, Lattice Theory, 1967.
DOI : 10.1090/coll/025

O. Brunet, Lattice approach to classifications In European summer school logic, language and information, Birmimgham (UK), pp.34-44, 2000.

B. Chellas, Modal Logic, an Introduction, 1980.
DOI : 10.1017/cbo9780511621192

J. Goubault-larrecq and E. Goubault, Order-theoretic, geometric and combinatorial models of intuitionnistic s4 proofs, Intuitionistic Modal Logics and Applications (IMLA'99), 1999.

J. Goubault-larrecq, On computational interpretations of the modal logic s4 i-iii, 1996.

A. Heyting, Intuitionism: An Introduction, 1956.

F. Pfenning and H. Wong, On a modal ?-calculus for s4, 11th Conference on Mathematical Foundations of Programming Semantics (MFPS'95), 1995.

G. and F. Servi, Axiomatizations for some intuitionistic modal logics, Rend. Sem. Mat. Univers. Politecn. Torino, vol.42, pp.179-194, 1984.

A. Simpson, The Proof Theory and Semantics of Intuitionistic Modal Logics, 1993.