Tait in one big step (0)

by Thorsten Altenkirch, James Chapman
Venue:In Workshop on Mathematically Structured Functional Programming, MSFP 2006