Paths in the lambda-calculus

Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier

Browse the full LICS paper archive.