Cita APA (7a ed.)

Matsuoka, S. (2026). On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System.

Cita Chicago Style (17a ed.)

Matsuoka, Satoshi. On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System. 2026.

Cita MLA (9a ed.)

Matsuoka, Satoshi. On Representability of Multiple-Valued Functions by Linear Lambda Terms Typed with Second-order Polymorphic Type System. 2026.