@inproceedings{316048,
    Author = {Asperti, A and Danos, V. and Laneve, C. and Regnier, L.},
    BookTitle = {Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on},
    File = {Paths in the lambda-calculus. Three years of communications without understanding - Asperti, Danos, Laneve, Regnier (0) (0) - a - a - i.pdf},
    Keywords = {computational geometry;graph theory;lambda calculus;{$\beta$}-reduction;consistent paths;graph-reduction algorithm;interaction geometry;labeled reductions;lambda-calculus;legal paths;redex families;regular paths;Algorithm design and analysis;Displays;Geometry;Joining processes;Law;Legal factors;Logic devices},
    Month = {Jul},
    Pages = {426-436},
    Title = {Paths in the lambda-calculus. Three years of communications without understanding},
    Year = {1994},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1994.316048},
    date-added = {2014-08-21 13:10:40 +0000},
    date-modified = {2014-08-21 13:10:40 +0000},
    doi = {10.1109/LICS.1994.316048}
}

@inproceedings{316048, Author = {Asperti, A and Danos, V. and Laneve, C. and Regnier, L.}, BookTitle = {Logic in Computer Science, 1994. LICS '94. Proceedings., Symposium on}, File = {Paths in the lambda-calculus. Three years of communications without understanding - Asperti, Danos, Laneve, Regnier (0) (0) - a - a - i.pdf}, Keywords = {computational geometry;graph theory;lambda calculus;{$\beta$}-reduction;consistent paths;graph-reduction algorithm;interaction geometry;labeled reductions;lambda-calculus;legal paths;redex families;regular paths;Algorithm design and analysis;Displays;Geometry;Joining processes;Law;Legal factors;Logic devices}, Month = {Jul}, Pages = {426-436}, Title = {Paths in the lambda-calculus. Three years of communications without understanding}, Year = {1994}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.1994.316048}, date-added = {2014-08-21 13:10:40 +0000}, date-modified = {2014-08-21 13:10:40 +0000}, doi = {10.1109/LICS.1994.316048} }