Deriving programs using higher-order generalization

Publishing house / Banach Center Publications / All volumes

Alberto Pettorossi Banach Center Publications 21 (1988), 359-368 DOI: 10.4064/-21-1-359-368