Pointed Types (1996)

by Coinductive Inductive
Venue:In ACM International Conference on Functional Programming