Notes on completeness of the full continuous type hierarchy. Unpublished manuscript (1982)

by G D Plotkin
Venue:Manuscript, Lab. of Comp. Sci., M.I.T