Higher-order and symbolic computation
Date : 1998-
Editeur / Publisher : Dordrecht : Kluwer Academic Publishers , 1998-
Type : Périodique / Serial
Langue / Language : anglais / English
Relation : Higher-order and symbolic computation / editors-in-chief O. Danvy, C. L. Talcott / Dordrecht [etc.] : Kluwer Academic Publishers , [199.]-