An Application of PER Models to Program Extraction (1993)

by S Berardi
Venue:Mathematical Structures in Computer Science