@article{oai:tsukuba.repo.nii.ac.jp:00015777,
 author = {Eda, Katsuya},
 issue = {2},
 journal = {Tsukuba Journal of Mathematics},
 month = {Dec},
 pages = {195--222},
 title = {Completions and co-products of Heyting algebras},
 volume = {5},
 year = {1981}
}