1. Efficiency of lambda-encodings in total type theory. (10th March 2016) Authors: STUMP, AARON; FU, PENG Journal: Journal of functional programming Issue: Volume 26(2016) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗