Tait in one big step (2006)

by T Altenkirch, J Chapman
Venue:In Workshop on Mathematically Structured Functional Programming, MSFP, volume 2006. Citeseer