TANAKA, M. (2000, January 1). Abstract syntax and variable binding for linear binders. Presented at the. Berlin: Springer, 2000. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=1384458
ISO-690 (author-date, English)TANAKA, M, 2000. Abstract syntax and variable binding for linear binders. In: [online]. Berlin: Springer, 2000. 1 January 2000. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=1384458
Modern Language Association 9th editionTANAKA, M. Abstract syntax and variable binding for linear binders. Berlin: Springer, 2000., 2000, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=1384458.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
TANAKA, M. (2000), “Abstract syntax and variable binding for linear binders”, in , Vol. , Berlin: Springer, 2000., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=1384458.