✦ LIBER ✦

GS·Λ Theories: A Syntax for Higher-Order Graphs

✍ Scribed by Matteo Coccia; Fabio Gadducci; Ugo Montanari

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Theory of Contexts for First Order a

✍ Furio Honsell; Marino Miculan; Ivan Scagnetto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 201 KB

A Dilemma for Higher-Order Theories of C

✍ Isabel Gois 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 174 KB

A Higher-Order Calculus for Graph Transf

✍ Maribel Fernández; Ian Mackie; Jorge Sousa Pinto 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 356 KB

A simple higher order theory for homogen

✍ S. Savithri; T.K. Varadan 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 287 KB

Soliton perturbation theory for a higher

✍ S.M. Hoseini; T.R. Marchant 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 261 KB

A higher order theory for bending of iso

✍ P. Subramanian 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 464 KB