TY - BOOK ID - 141507733 TI - Higher-order subtyping with intersection types : proefschrift PY - 1995 SN - 9090078606 PB - Nijmegen DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:141507733 AB - ER -