ML-1988-02: M.D.G. Swaen The Arithmetical Fragment of Martin L\"of's Type Theories with weak $\Sigma$-Elimination 1.Full Text. < Back
