@misc {IOPORT.70802605,
    author       = {Dal Lago, Ugo and Gaboardi, Marco},
    title        = {Linear dependent types and relative completeness},
    howpublished = {LICS, 133-142 (2011).},
    year         = {2011},
    doi          = {10.1109/LICS.2011.22},
    identifier   = {70802605},
}