Inductive Data Types for Predicate Transformers (1995)

Cached

Download Links

by Oege De Moor
Venue:Information Processing Letters
Citations:9 - 1 self