Intuitionistic Type Theory

Free Download

Authors:

Series: Studies in Proof Theory

ISBN: 8870881059, 9788870881059

Size: 473 kB (484501 bytes)

Pages: 100/100

File format:

Language:

Publishing Year:

Direct Download: Coming soon..
Download link:
Sign in to view hidden content.
Category:

Per Martin-Lof8870881059, 9788870881059

These lectures were given in Padova at the Laboratorio per
Ricerche di Dinamica dei Sistemi e di Elettronica Biomedica of the
Consiglio Nazionale delle Ricerche during the month of June 1980.

Reviews

There are no reviews yet.

Be the first to review “Intuitionistic Type Theory”

Related products

Shopping Cart
Scroll to Top