Mixed inductive/coinductive types and strong normalization (2007)

by A Abel
Venue:Proc. of the 5th Asian Symp. on Programming Languages and Systems, APLAS 2007, volume 4807 of Lect. Notes in Comput. Sci