Representing Program Logics in Evaluation Logic, Unpublished manuscript, available electronically (1994)

by E Moggi