Investigating a proof-theoretic meta-language for functional programs (1990)

by J J Hannan