Type-Based Productivity of Stream Definitions in the Calculus of Constructions | IEEE Conference Publication | IEEE Xplore