thesis

Higher-order subtyping with intersection types

Authors
Publication date
1 January 1995
Publisher
[S.l. : s.n.]

Abstract

Contains fulltext : mmubn000001_194713903.pdf (publisher's version ) (Open Access)Promotores : M. Dezani-Ciancaglini en H. BarendregtX, 160 p

    Similar works

    Full text

    thumbnail-image

    Available Versions

    Radboud Repository

    redirect
    oaioai:repository.ubn.ru.nl:2066/...
    Last time updated on 09/08/2016