Dependently-Typed Formalisation of Typed Term Graphs

Published in: TERMGRAPH (2011)

Keyphrases

lambda calculus
higher order
graph theory
graph model
pattern recognition
fixed order
database
data sets
bayesian networks
graph theoretic
formal analysis