TY - BOOK ID - 138774714 TI - LCFsmall : an implementation of LCF AU - Aiello, Luigia AU - Weyhrauch, Richard W. PY - 1974 PB - Stanford Stanford university. Computer science department DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:138774714 AB - ER -