Normal view MARC view ISBD view

On fixed point operators inductive definitions and universes in Martin-Lof's type theory Erik Palmgren

By:

Series: Report. 8 Publication details: Uppsala University Uppsala 1991Description: 12 p 27 cm

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	III 32620 (Browse shelf(Opens below))	Available		0026215

Previous	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available	No cover image available		Next
Previous	III 32618 16 th Colloque D'Analyse Numerique Guidel ( Morbihan) 24 - 28 Mai 19883	III 32618 16 th Colloque D'Analyse Numerique Guidel ( Morbihan) 24 - 28 Mai 19883	III 3262 Asupra unei metode de calcul pentru prezicerea eclipselor de soare Teza	III 32620 On fixed point operators inductive definitions and universes in Martin-Lof's type theory	III 32621 Robust linear regression by means of M- and R- statistics	III 32623 Algorithms and minimal forbidden minors for tree-decomposable graph	III 32624 Mass und integral Autographie zur vorlesung an der abteilung fur mathematik und physik, E T H Z	Next

Contine bibliografie

There are no comments on this title.

to post a comment.