Calculating sized types (2001)

by W-N Chin, S-C Khoo
Venue:Higher-Order and Symbolic Computation