On the semantics of nested datatypes

Clare E. Martin, Jeremy Gibbons. On the semantics of nested datatypes. Inf. Process. Lett., 80(5):233-238, 2001. [doi]

Abstract

Abstract is missing.