TY - THES ID - 139055071 TI - Combinatory reduction systems AU - Klop, Jan Willem AU - Rijksuniversiteit Utrecht. PY - 1980 PB - Amsterdam Mathematisch centrum DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:139055071 AB - ER -