Deriving programs using higher-order generalization
Alberto Pettorossi
Banach Center Publications, Tome 21 (1988), p. 359-368 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1988-01-01
EUDML-ID : urn:eudml:doc:267951 
@article{bwmeta1.element.zamlynska-8455f4e2-cee0-4256-a549-41db92d96199,
     author = {Alberto Pettorossi},
     title = {Deriving programs using higher-order generalization},
     journal = {Banach Center Publications},
     volume = {21},
     year = {1988},
     pages = {359-368},
     zbl = {0761.68062},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-8455f4e2-cee0-4256-a549-41db92d96199}
}

Alberto Pettorossi. Deriving programs using higher-order generalization. Banach Center Publications, Tome 21 (1988) pp. 359-368. http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-8455f4e2-cee0-4256-a549-41db92d96199/