The bologna optimal higher-order machine (1996)

by A Asperti, C Giovanetti, A Naletto
Venue:J. Funct. Program