Gaya APA

Kamide, N. (2013). Strong normalization in some temporal substructural logics . : .

Gaya MLA

Kamide, Norihiro. "Strong normalization in some temporal substructural logics". : , 2013. Text.