Ronchi della Rocca. type reconstruction in f using eta expansions (1994)

by Piperno
Venue:In Logic in Computer Science