A transfinite type theory with type variables.

Bibliographic Details
Main Author:	Andrews, P.B
Format:	Book
Language:	English
Published:	Amsterdam North-Holand Publishing Company

TUKLAS: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman