Login / Signup

Typed lambda-terms in categorical attributed graph transformation

Bertrand BoisvertLouis FéraudSergei Soloviev
Published in: AMMSE (2011)
Keyphrases
  • attributed graphs
  • lambda calculus
  • image processing
  • relational databases
  • social network analysis
  • relational data