@inproceedings{Tatsuta:2008:THP:1381308.1382264,
    Address = {Washington, DC, USA},
    Author = {Tatsuta, Makoto},
    BookTitle = {Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science},
    File = {Types for Hereditary Permutators - Tatsuta (0) (0) - a - a - f.pdf},
    ISBN = {978-0-7695-3183-0},
    Keywords = {hereditary permutator, intersection type, infinite lambda-calculus, stream type},
    Pages = {83--92},
    Publisher = {IEEE Computer Society},
    Series = {LICS '08},
    Title = {Types for Hereditary Permutators},
    URL = {http://dx.doi.org/10.1109/LICS.2008.18},
    Year = {2008},
    acmid = {1382264},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2008.18},
    date-added = {2013-07-04 10:18:25 +0000},
    date-modified = {2013-07-04 10:18:25 +0000},
    file-2 = {Types for Hereditary Permutators - Tatsuta (1) (0) - a - a - f.pdf},
    file-3 = {Types for Hereditary Permutators - Tatsuta (2) (0) - a - a - f.pdf},
    numpages = {10},
    doi = {10.1109/LICS.2008.18}
}

@inproceedings{Tatsuta:2008:THP:1381308.1382264, Address = {Washington, DC, USA}, Author = {Tatsuta, Makoto}, BookTitle = {Proceedings of the 2008 23rd Annual IEEE Symposium on Logic in Computer Science}, File = {Types for Hereditary Permutators - Tatsuta (0) (0) - a - a - f.pdf}, ISBN = {978-0-7695-3183-0}, Keywords = {hereditary permutator, intersection type, infinite lambda-calculus, stream type}, Pages = {83--92}, Publisher = {IEEE Computer Society}, Series = {LICS '08}, Title = {Types for Hereditary Permutators}, URL = {http://dx.doi.org/10.1109/LICS.2008.18}, Year = {2008}, acmid = {1382264}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2008.18}, date-added = {2013-07-04 10:18:25 +0000}, date-modified = {2013-07-04 10:18:25 +0000}, file-2 = {Types for Hereditary Permutators - Tatsuta (1) (0) - a - a - f.pdf}, file-3 = {Types for Hereditary Permutators - Tatsuta (2) (0) - a - a - f.pdf}, numpages = {10}, doi = {10.1109/LICS.2008.18} }