TY - CONF AU - Böhm, Corrado AU - Piperno, Adolfo AU - Tronci, Enrico PY - 1989 DA - 1989// TI - Solving Equations in λ-calculus BT - Proc. of: Logic Colloquium 88 CY - Padova - Italy N1 - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=62), last updated on Thu, 22 Nov 2012 14:59:51 +0100 ID - BAPhm_etal1989 ER -