首页>
外文OA文献
>GS·Λ Theories A Syntax for Higher-Order Graphs11This work has been partially supported by the Italian MIUR project COMETA (Computational Metamodels); and by EU within the FET - Global Computing initiative, project AGILE IST-2001-32747 (Architecture for Mobility). The funding bodies are not responsible for any use that might be made of the results presented here.
【2h】
GS·Λ Theories A Syntax for Higher-Order Graphs11This work has been partially supported by the Italian MIUR project COMETA (Computational Metamodels); and by EU within the FET - Global Computing initiative, project AGILE IST-2001-32747 (Architecture for Mobility). The funding bodies are not responsible for any use that might be made of the results presented here.