A Typed Pattern Calculus.

Delia Kesner Laurence Puel Val Tannen

Published in: Inf. Comput. (1996)

Keyphrases

pattern matching
lambda calculus
higher order
social networks
case study
image sequences
pattern detection
automated deduction
provably correct