Max I. Kanovich Mitsuhiro Okada Kazushige Terui Intuitionistic phase semantics is almost classical. 67-86 2006 16 Mathematical Structures in Computer Science 1 http://dx.doi.org/10.1017/S0960129505005062 db/journals/mscs/mscs16.html#KanovichOT06