@misc {IOPORT.70945055,
    author       = {Hoshino, Naohiko},
    title        = {A modified goi interpretation for a linear functional programming language and its adequacy},
    howpublished = {FOSSACS, 320-334 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-19805-2_22},
    identifier   = {70945055},
}