On fixed point operators inductive definitions and universes in Martin-Lof's type theory Erik Palmgren
Series: Report. 8 Publication details: Uppsala University Uppsala 1991Description: 12 p 27 cmItem type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | III 32620 (Browse shelf(Opens below)) | Available | 0026215 |
Browsing IMAR shelves Close shelf browser (Hides shelf browser)
Contine bibliografie
There are no comments on this title.
Log in to your account to post a comment.