Click on a thumbnail to go to Google Books.
A transfinite type theory with type variables
No current Talk conversations about this book.
References to this work on external resources.
Wikipedia in English
No descriptions found.
No library descriptions found.
RatingAverage: No ratings.
Is this you?
Become a LibraryThing Author.