The Use of Proofs-as-Programs to Build an Analogy-Based Functional Program Editor (1999)

by J N D Whittle