ML-1988-02: The Arithmetical Fragment of Martin L\"of's Type Theories with weak $\Sigma$-Elimination

ML-1988-02: Swaen, M.D.G. (1988) The Arithmetical Fragment of Martin L\"of's Type Theories with weak $\Sigma$-Elimination. [Report]

[thumbnail of Full Text]
Preview
 Text (Full Text)
ML-1988-02.text.pdf
Download (1MB) | Preview
Item Type: Report
Report Nr: ML-1988-02
Series Name: Mathematical Logic and Foundations (ML)
Year: 1988
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1279

Actions (login required)

View Item View Item
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility