A unified category-theoretic formulation of typed binding signatures.

Miki Tanaka John Power

Published in: MERLIN (2005)

Keyphrases

higher order
neural network
hierarchical structure
unified model
signature recognition
probabilistic formulation
object categories
integer programming
optimization procedure
signature verification
lambda calculus