Denotational Proof Languages (2000)

by K Arkoudas