A logic for Miranda. Draft of a paper describing a logic in which to reason about Miranda programs. Based on PP (1987)

by Simon J Thompson