@phdthesis{oai:nagoya.repo.nii.ac.jp:00009626,
 author = {福田, 茂隆 and FUKUDA, SHIGETAKA},
 month = {Dec},
 note = {名古屋大学博士学位論文 学位の種類:博士(理学) (論文) 学位授与年月日:平成8年12月9日},
 school = {名古屋大学, Nagoya University},
 title = {ON BASE POINT FREE THEOREM},
 year = {1996}
}