TY - BOOK ID - 132190992 TI - Categories, polymorphism and unification PY - 1987 PB - Amsterdam DB - UniCat KW - Mathematical logic KW - Mathematical linguistics UR - https://www.unicat.be/uniCat?func=search&query=sysid:132190992 AB - ER -