TY - BOOK ID - 137791179 TI - Type theory and programming. AU - Coquand, Thierry AU - Nordström, Bengt AU - Smith, Jan M. AU - von Sydow, Bjorn PY - 1994 PB - Göteborg University of Gothenburg DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:137791179 AB - ER -