On the construction of long fij-normal forms in dependent type theories (0)

by P Gardner