Program extraction in a logical framework setting (1994)

by Penny Anderson
Venue:In Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning