Comparing integrated and external logics of functional programs (1990)

by Peter Dybjer
Venue:Science of Computer Programming