Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Ryo Takemura and Masahiro Hamano,An Indexed System for Multiplicative Additive Polarized Linear Logic,,,Springer Berlin Heidelberg,2008-01-01,,,,https://cir.nii.ac.jp/crid/1873398392287304064,https://doi.org/10.1007/978-3-540-87531-4_20