Parameters in pure type systems (0)

by T Laan, R Bloo, F Kamareddine, R Nederpelt